Microprocessor Design Verification.

Warren A. Hunt Jr.

Published in: J. Autom. Reason. (1989)

Keyphrases

functional verification
design methodology
database
databases
formal verification
artificial intelligence
case study
engineering design
real time
neural network
real world
learning algorithm
social networks
design principles
design tools