176 search results - page 10 / 36 » Timed Verification of Asynchronous Circuits |
ASYNC
2000
IEEE
15 years 4 months ago
2000
IEEE
ATVA
2004
Springer
15 years 5 months ago
2004
Springer
DATE
2003
IEEE
15 years 5 months ago
2003
IEEE
CAV
2001
Springer
15 years 4 months ago
2001
Springer
DAC
1990
ACM
15 years 3 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...