Login / Signup
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