3 ms·
Pentium FDIV bug, round two incoming.
by xeonmc 3y ago
Pentium FDIV bug, round two incoming.
- throwawaymaths 3y agoI believe this is placement, not circuit optimization or logic gate programming. Unless there's something creepy like line noise causing bugs or side effects piling up, something like the FDIV bug is unlikely.
- thesz 3y agoThe problem with FDIV is that function was not verified fully. AMD used ACL2 for complete symbolic verification of their FPU and discovered that their 50 million tests test suite still allowed for some bugs to pass. Here's the same problem - in their approach, a function is specified by some of input-output pairs and their algorithm discovers BDD representation of such function. These input-output pairs may be incomplete to specify function fully, giving the opportunity for something akin to FDIV bug.