Lisa M. Noack

Functional Verification of a Multiple-issue, Pipelined, Superscalar Alpha Processor - the Alpha 21164 CPU Chip

Michael Kantrowitz, Lisa M. Noack, 1995, Digit. Tech. J..

I'm done simulating; now what? Verification coverage analysis and correctness checking of the DEC chip 21164 Alpha microprocessor

Michael Kantrowitz, Lisa M. Noack, 1996, DAC '96.