A Top-Down Methodology for Microprocessor Validation

Prabhat Mishra, Nikil Dutt, Narayanan Krishnamurthy, Magdy S. Abadir. A Top-Down Methodology for Microprocessor Validation. IEEE Design & Test of Computers, 21(2):122-131, 2004. [doi]

Abstract

Abstract is missing.