The mathematics of the pentium division bug

SIAM Review

Volumn 39, Issue 1, 1997, Pages 54-67

  Edelman, Alan ^a  

^a MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

Floating point operations; Pentium; SRT division

Indexed keywords

ALGORITHMS; ERRORS; MATHEMATICAL OPERATORS; PROGRAM DEBUGGING;

PENTIUM BUG; SRT DIVISION;

DIGITAL ARITHMETIC;

EID: 0031097396     PISSN: 00361445     EISSN: None     Source Type: Journal    
DOI: 10.1137/S0036144595293959     Document Type: Article

References (13)

1. R. BRYANT, Bit-level analysis of an SRT circuit, CMU technical report CS-140, CMU, Pittsburgh, PA, 1995.
2. T. H. CORMEN, C. E. LEISERSON, AND R. L. RIVEST, Introduction to Algorithms, MIT Press, Cambridge, MA, 1992.
3. At the time of writing, one collection may be found on http://www-pcd.stanford. edu/cousins/pentium.html.
4. T. COE, Inside the Pentium FDIV bug, Dr. Dobb's J., 20 (April 1995), pp. 129-135.
5. T. COE, T. MATHISEN, C. MOLER, AND V. PRATT, Computational aspects of the Pentium affair, IEEE Comput. Sci. Engrg., 2 (Spring 1995), pp. 18-31.
6. T. COE AND P. T. P. TANG, It Takes Six Ones to Reach a Flaw, Chinese University of Hong Kong technical report 95-5 (61), 1995.
7. J. FANDRIANTO, Algorithm for high speed shared radix 4 division and radix 4 square root, Proc. 8th Symposium on Computer Arithmetic, Villa Olmo, Como, Italy, Computer Society of the IEEE, 1987, pp. 73-79.
8. J. FIXX, Games for the Superintelligent, Doubleday and Company, Garden City, NY, 1972.
9. D. GOLDBERG, Tutorial on Computer Division, Xerox Parc Research Center, Palo Alto, CA, 1995, preprint.
10. W. KAHAN, A Test for SRT Division (http://HTTP.CS.Berkeley.EDU/∼wkahan/srtest/srtest), March 1995.
11. V. PRATT, personal communication, 1995.
12. V. PRATT, Anatomy of the Pentium bug, in TAPSOFT'95, LNCS 915, Springer-Verlag, Aarhus, Denmark, 1995, pp. 97-107. ftp://boole.stanford.edu/pub/FDIV/anapent.ps.gz.
13. H. P. SHARANGPANI AND M. L. BARTON, Statistical Analysis of Floating Point Flaw in the Pentium™ Processor (http://www.intel.com/product/pentium/white11.ps), 1994.