Functional Verification of a Multiple-issue, Pipelined, Superscalar Alpha Processor - the Alpha 21164 CPU Chip - Michael Kantrowitz; Lisa M. Noack (Digit. Tech. J., 1995)

I'm Done Simulating: Now What? Verification Coverage Analysis and Correctness Checking of the DECchip 21164 Alpha Microprocessor. - Michael Kantrowitz; Lisa M. Noack (DAC, 1996)