Microprocessor entomology: A taxonomy of design faults in COTS microprocessors

Dependable Computing for Critical Applications 7

Volumn , Issue , 1999, Pages 3-23

  Avižienis, Algirdas ^a   He, Yutao ^a  

^a University of California   (United States)

Author keywords

COTS microprocessors; design faults; errata; fault taxonomy; high confidence systems; microprocessor entomology

Indexed keywords

TAXONOMIES;

COMMERCIAL OFF THE SHELVES; DESIGN DISCOVERIES; DESIGN FAULTS; ERRATA; FAULT TAXONOMIES; HIGH CONFIDENCE; IN-DEPTH ANALYSIS; SYSTEMATIC FRAMEWORK;

INTEGRATED CIRCUIT DESIGN;

EID: 84858788599     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/DCFTS.1999.814287     Document Type: Conference Paper

References (29)

1. Intel Corporation. Pentium Processor Specification Update, January 1999. Order No: 242480-041.
2. Intel Corporation. Pentium Pro Processor Specification Update, January 1999. Order No: 242689-035.
3. Intel Corporation. Pentium II Processor Specification Update, April 1999. Order No: 243337-025.
4. Intel Corporation. Mobile Pentium II Processor Specification Update, April 1999. Order No: 243887-009.
5. TM Processor Specification Update, March 1999. Order No: 243748-013.
6. TM Processor Specification Update, April 1999. Order No: 243776-012.
7. Intel Corporation. Pentium III Processor Specification Update, April 1999. Order No: 243776-002.
8. TM Processor Specification Update, April 1999. Order No: 243776-002.
9. A. Avižienis and J. P. J. Kelly. Fault tolerance by design diversity: concepts and experiments. Computer, 17(8):67-80, August 1984.
10. A. Avižienis. Toward systematic design of fault-tolerant systems. Computer, 30(4):51-58, April 1997.
11. Intel Corporation. Pentium Pro Family Developers' Manual, 1996. Volumes 1, 2, 3.
12. R. Chillarege et al. Orthogonal defect classification - a concept for in-process measurement. IEEE Trans. Software Eng., 18(11):943-956, November 1992.
13. R. P. Colwell. Latent design faults in the development of Multiflow's TRACE/200. In Digest of FTCS-22, pages 468-474, June 1992.
14. B. A. Wichmann. Microprocessor design faults. Microprocessors and Microsystems, 17(7):399-401, September 1993.
15. O. Sibert, P. A. Porras, and R. Lindell. An analysis of the Intel 80×86 security architecture and implementations. IEEE Transactions on Software Engineering, 22(5):283-293, May 1996.
16. J. C. Laprie, editor. Dependability: Basic Concepts and Terminology. Springer-Verlag, 1992.
17. Intel Corporation. Intel Architecture Software Developer's Manual, Vol. 1: Basic Architecture, 1997. Order No. 243190.
18. Intel Corporation. Intel Architecture Software Developer's Manual, Vol. 2: Instr uction Set Reference Manual, 1997. Order No. 243191.
19. Intel Corporation. Intel Architecture Software Developer's Manual, Vol. 3: System Programming Guide, 1997. Order No. 243192.
20. Intel Corporation. Addendum - Intel Architecture Software Developer's Manual, Vol. 1: Basic Architecture, 1997. Order No. 243691-001.
21. Intel Corporation. Addendum - Intel Architecture Software Developer's Manual, Vol. 2: Instruction Set Reference Manual, 1997. Order No. 243689-001.
22. Intel Corporation. Addendum - Intel Architecture Software Developer's Manual, Vol. 3: System Programming Guide, 1997. Order No. 243690-001.
23. Intel Corporation. Pentium II Processor Developer's Manual, October 1997. Order No. 243502-001.
24. Intel Corporation. P6 Family Of Processors Hardware Developer's Manual, September 1998. Order No. 244001-001.
25. Intel Corporation. Datasheet - Pentium II Processor at 233 MHz, 266 MHz, 300 MHz, and 333 MHz, January 1998. Order No. 243335-003.
26. Intel Corporation. Datasheet - Pentium II Processor at 350 MHz, 400, and 450 MHz, August 1998. Order No. 243657-003.
27. R. Collins. Intel secret. http://www.x86.org/.
28. Intelligent Firmware Ltd. The Intel x86 processor performance flaw. http://www.intelligentfirm.com/, 1998.
29. A. Yu. The future of microprocessors. IEEE Micro, 16(6):46-53, June 1996.