lukaskollmer/srt-division-visualizer

[IN0014 SS2019] SRT Division Visualizer

srt-division-visualizer

A visualization of the SRT division algorithm as used in the 1993 Intel Pentium processor generation, with focus on the 1993 Pentium's FDIV division bug.

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

Usage

• A live version of the app is deployed at https://lukaskollmer.me/srt-division-visualizer/
• Build instructions: npm i && npm run build
• Run some sample divisions: npm test (Enable debug logging by changing the config.DEBUG assignment in tests.ts)

Other resources

• 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)

License

MIT @ Lukas Kollmer