Title :
Validating the Intel(R) Pentium(R) 4 microprocessor
Author_Institution :
Intel Corp., Hillsboro, OR, USA
Abstract :
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.
Keywords :
circuit simulation; formal verification; integrated circuit testing; logic testing; microprocessor chips; IA-32 microprocessor; Intel Pentium 4 microprocessor; cluster level testing; design bugs; microarchitecture; power reduction validation; validation environment; Computer architecture; Computer bugs; Costs; Microarchitecture; Microprocessors; Permission; Process design; Production; Qualifications; Silicon;
Conference_Titel :
Design Automation Conference, 2001. Proceedings
Print_ISBN :
1-58113-297-2
DOI :
10.1109/DAC.2001.156143
