176 search results - page 4 / 36 » Timed Verification of Asynchronous Circuits |
ASYNC
2007
IEEE
14 years 2 months ago
2007
IEEE
PRDC
2002
IEEE
14 years 16 days ago
2002
IEEE
CAV
1995
Springer
13 years 11 months ago
1995
Springer
VLSID
2003
IEEE
14 years 8 months ago
2003
IEEE
Most verification tools and methodologies such as model checking, equivalence checking, hardware verification, software verification, and hardware-software coverification often fl...
DAC
1994
ACM
13 years 11 months ago
1994
ACM
Asynchronous circuits are crucial in designing low power and high performance digital systems. In this paper, we present an ecient modular partitioning approach for asynchronous c...