Verification-Aware Microprocessor Design.

Anita Lungu Daniel J. Sorin

Published in: PACT (2007)

Keyphrases

functional verification
design methodology
database
case study
software architecture
circuit design
real time
databases
artificial intelligence
user interface
high speed
model checking
design principles
engineering design
formal methods
physical design