Input

Formula

About

This project was created as part of the IN0014 seminar Analyse von Softwarefehlern (Analyzing Software Bugs).

Resources

• My recreation of the Pentium's FDIV lookup table
• Slides from my presentation about the FDIV bug

Further reading

• Higher-Radix Division Using Estimates of the Divisor and Partial Remainders (D. E. Atkins, 1968)
• Statistical Analysis of Floating Point Flaw in the Pentium Processor (Intel, 1994)
• It Takes Six Ones To Reach A Flaw (T. Coe, P. T. P. Tang, 1995)