20 search results - page 2 / 4 » On process-algebraic verification of asynchronous circuits |
88
Voted
ASYNC
1999
IEEE
15 years 5 months ago
1999
IEEE
This paper discusses the application of the timing analysis tool ATACS to the high performance, self-resetting and delayed-reset domino circuits being designed at IBM's Austi...
88
Voted
PRDC
2002
IEEE
15 years 6 months ago
2002
IEEE
CAV
1995
Springer
15 years 4 months ago
1995
Springer
88
Voted
AC
2002
Springer
15 years 29 days ago
2002
Springer
