Sciweavers

ICCD
1992
IEEE
83views Hardware» more  ICCD 1992»
13 years 8 months ago
Logical Verification of the NVAX CPU Chip Design
ct Digital's NVAX high-performance microprocessor has a complex logical design. A rigorous simulation-based verification effort was undertaken to ensure that there were no log...
Walker Anderson