Reasoning about synchronization in GALS systems
From MaRDI portal
Publication:2505629
DOI10.1007/s10703-006-7841-yzbMath1099.68540MaRDI QIDQ2505629
Supratik Chakraborty, Dinesh Kumar Sharma, Joycee Mekie
Publication date: 28 September 2006
Published in: Formal Methods in System Design (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10703-006-7841-y
GALS systems; sequencing constraints; synchronization constraints; multi-clocked systems; symbolic delay constraints; symbolic timing analysis
68M99: Computer system organization