DocumentCode
1747897
Title
Validating the Intel(R) Pentium(R) 4 microprocessor
Author
Bentley, Bob
Author_Institution
Intel Corp., Hillsboro, OR, USA
fYear
2001
fDate
2001
Firstpage
244
Lastpage
248
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Design Automation Conference, 2001. Proceedings
ISSN
0738-100X
Print_ISBN
1-58113-297-2
Type
conf
DOI
10.1109/DAC.2001.156143
Filename
935512
Link To Document