The practical verification of microprocessor designs.

Phillip J. Windley

Published in: Compcon (1991)

Keyphrases

functional verification
model checking
high speed
real world
artificial intelligence
design principles
design methodology
practical problems
asynchronous circuits