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).
- 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 theconfig.DEBUGassignment intests.ts)
- 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)
MIT @ Lukas Kollmer