Design Verification and Testing of the WE 32100 CPUs.

Ronald L. Wadsack

Published in: IEEE Des. Test (1984)

Keyphrases

real time
formal verification
computer aided
design tools
databases
artificial intelligence
knowledge based systems
building blocks
test data
user experience
design space