"Functional Verification Methodology for the PowerPC 604 Microprocessor."

James Monaco, David Holloway, Rajesh Raina (1996)
a service of Schloss Dagstuhl - Leibniz Center for Informatics