Automated Multi-Cycle Symbolic Timing Verification of Microprocessor-Based Designs.

Anurag P. Gupta Daniel P. Siewiorek

Published in: DAC (1994)

Keyphrases

functional verification
asynchronous circuits
model checking
data driven
data sets
semi automated
fully automated
high speed
computer aided
design space
automated analysis
formal verification
high level
special purpose hardware
design methodology
formal methods
verification method
real time