I'm Done Simulating: Now What? Verification Coverage Analysis and Correctness Checking of the DECchip 21164 Alpha Microprocessor.

Michael Kantrowitz, Lisa M. Noack

Browse the full DAC paper archive.