Hierarchical gate-level verification of speed-independent circuits.

Oriol Roig Jordi Cortadella Enric Pastor

Published in: ASYNC (1995)

Keyphrases

high speed
higher level
levels of abstraction
real time
asynchronous circuits
search engine
low level
hierarchical clustering
formal verification
cmos technology