4 ms·How Intel makes sure the FDIV bug never happens again3 points by subbdue 1y agosubbdue 1y agoThe people and breakthroughs behind Intel’s quiet revolution in formal verification