Validating the Intel Pentium 4 Microprocessor

@inproceedings{Bentley2001ValidatingTI,
  title={Validating the Intel Pentium 4 Microprocessor},
  author={Bob Bentley},
  booktitle={DAC},
  year={2001}
}
Developing a new leading edge IA-32 micro-processor is an immensely complicated undertaking. In the case of the Pentium© 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© 4 processor design prior to initial silicon, and what we found along the way. 
Highly Cited
This paper has 125 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.

Citations

Publications citing this paper.
Showing 1-10 of 84 extracted citations

125 Citations

01020'01'04'08'12'16
Citations per Year
Semantic Scholar estimates that this publication has 125 citations based on the available data.

See our FAQ for additional information.

Similar Papers

Loading similar papers…