176 search results - page 10 / 36 » Timed Verification of Asynchronous Circuits |
ASYNC
2000
IEEE
14 years 1 days ago
2000
IEEE
ATVA
2004
Springer
14 years 1 months ago
2004
Springer
DATE
2003
IEEE
14 years 28 days ago
2003
IEEE
CAV
2001
Springer
14 years 4 days ago
2001
Springer
DAC
1990
ACM
13 years 11 months ago
1990
ACM
In this paper, we provide an overview of a system designed for verifying the consistency of timing specifications for digital circuits. The utility of the system comes from the ne...