Reverification of a microprocessor.

Stephen D. Crocker Eve Cohen Sue Landauer Hilarie Orman

Published in: IEEE Symposium on Security and Privacy (1988)

Keyphrases

special purpose hardware
high speed
functional verification
instruction set
design methodology
floating point
neural network
computer science
circuit design
real world
case study
low cost
ibm zenterprise