Verification of a Second-Generation 32-Bit Microprocessor.

Published in: Computer (1986)

Keyphrases

functional verification
model checking
high speed
circuit design
formal verification
bit vector
design methodology
verification method
real time
face verification
formal analysis
physical design
asynchronous circuits