Functional Verification of a Multiple-issue, Out-of-Order, Superscalar Alpha Processor - The DEC Alpha 21264 Microprocessor. - Scott A. Taylor; Michael Quinn; Darren Brown; Nathan Dohm; Scot Hildebrandt; James Huggins 001; Carl Ramey (DAC, 1998)

Zen and the art of Alpha verification. - Nathan Dohm; Carl Ramey; Darren Brown; Scot Hildebrandt; James Huggins 001; Michael Quinn; Scott A. Taylor (ICCD, 1998)

AMD64 Processor Front-End Verification (at Unit-Level Testbench) with Instruction Set Simulator. - Kana Murale; Scot Hildebrandt; Per Bojsen; Alfonso Urzua (MTV, 2008)