Functional Verification of a Multiple-issue, Out-of-Order, Superscalar Alpha Processor

Scott A. Taylor Michael Quinn Darren Brown Nathan Dohm Scot Hildebrandt James Huggins Carl Ramey Functional Verification of a Multiple-issue, Out-of-Order, Superscalar Alpha Processor - The DEC Alpha 21264 Microprocessor. 638-643 1998 DAC http://doi.acm.org/10.1145/277044.277208 db/conf/dac/dac98.html#TaylorQBDHHR98