176 search results - page 10 / 36 » Timed Verification of Asynchronous Circuits |
103
Voted
ASYNC
2000
IEEE
15 years 7 months ago
2000
IEEE
103
Voted
ATVA
2004
Springer
15 years 8 months ago
2004
Springer
103
Voted
DATE
2003
IEEE
15 years 8 months ago
2003
IEEE
CAV
2001
Springer
15 years 7 months ago
2001
Springer
104
click to vote
DAC
1990
ACM
15 years 6 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...