176 search results - page 10 / 36 » Timed Verification of Asynchronous Circuits |
124
Voted
ASYNC
2000
IEEE
15 years 9 months ago
2000
IEEE
128
Voted
ATVA
2004
Springer
15 years 10 months ago
2004
Springer
123
Voted
DATE
2003
IEEE
15 years 10 months ago
2003
IEEE
127
click to vote
DAC
1990
ACM
15 years 9 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...