论文信息 - Validating the Intel(R) Pentium(R) 4 microprocessor

Validating the Intel(R) Pentium(R) 4 microprocessor

Developing a new leading edge IA-32 microprocessor is an immensely complicated undertaking. In the case of the Pentium(R) 4 processor, the microarchitecture is significantly more complex than any previous IA-32 microprocessor and the implementation borrows almost nothing from any previous implementation. This paper describes how we went about the task of finding bugs in the Pentium(R) 4 processor design prior to initial silicon, and what we found along the way.

Bob Bentley

[1] Laurent Fournier,et al. Functional verification methodology for microprocessors using the Genesys test-program generator. Application to the x86 microprocessors family , 1999, Design, Automation and Test in Europe Conference and Exhibition, 1999. Proceedings (Cat. No. PR00078).

[2] Douglas W. Clark,et al. Bugs Are Good: A Problem-Oriented Approach To the Management of Design Engineering , 1990 .

[3] Mark Horowitz,et al. Architecture validation for processors , 1995, Proceedings 22nd Annual International Symposium on Computer Architecture.

[4] Laurent Fournier,et al. Functional verification methodology for microprocessors using the Genesys test-program generator , 1999, DATE '99.