M. Kantrowitz

A 300-MHz 64-b quad-issue CMOS RISC microprocessor

Gilbert Wolrich, R. O. Mueller, Donald A. Priore, 1995 .

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

M. Kantrowitz, L. M. Noack, 1996, 33rd Design Automation Conference Proceedings, 1996.