Symbolic functional and timing verification of transistor-level circuits.

Clayton B. McDonald Randal E. Bryant

Published in: ICCAD (1999)

Keyphrases

asynchronous circuits
high speed
functional verification
low power
circuit design
higher level
model checking
real time
information systems
low level
low cost
levels of abstraction