Logical Verification of the NVAX CPU Chip Design.

Walker Anderson

Published in: ICCD (1992)

Keyphrases

chip design
design methodology
physical design
model checking
databases
power dissipation
image processing
query language
input output