An Accurate Analysis of Microprocessor Design Verification.

Haihua Shen Heng Zhang

Published in: ATS (2007)

Keyphrases

functional verification
design methodology
high accuracy
design process
formal verification
databases
information retrieval
high quality
user interface
low cost
high speed
floating point
formal analysis
circuit design
detailed design