4 search results - page 1 / 1 » Trace Theoretic Verification of Asynchronous Circuits Using ... |
CAV
1995
Springer
13 years 9 months ago
1995
Springer
ACSD
2006
IEEE
13 years 9 months ago
2006
IEEE
Asynchronous circuits have received much attention recently due to their potential for energy savings. Process algebras have been extensively used in the modelling, analysis and sy...
ASYNC
2003
IEEE
13 years 11 months ago
2003
IEEE
TCAD
2002
13 years 5 months ago
2002
With the advent of system-on-a-chip design, many application specific integrated circuits (ASICs) now require multiple design clocks that operate asynchronously to each other. This...