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