{"UUID":"81d34c36-2a11-4d88-9f5f-5cc7ae06612a","URL":"https://42gems.com/blog/?p=735","StartTime":"0001-01-01T00:00:00Z","EndTime":"0001-01-01T00:00:00Z","Categories":["postmortem"],"Company":"Intel","Product":"","Description":"A scripting bug caused the generation of the divider logic in the Pentium to very occasionally produce incorrect results. The bug wasn't caught in testing because of an incorrect assumption in a proof of correctness. (See [the Wikipedia article on 1994 FDIV bug](https://en.wikipedia.org/wiki/Pentium_FDIV_bug) for more information.)"}