Kana Murale, Scot Hildebrandt, Per Bojsen, Alfonso Urzua. AMD64 Processor Front-End Verification (at Unit-Level Testbench) with Instruction Set Simulator. In Ninth International Workshop on Microprocessor Test and Verification, MTV 2008, Austin, Texas, USA, 8-10 December 2008. pages 81-87, IEEE Computer Society, 2008. [doi]
Abstract is missing.