How Intel makes sure the FDIV bug never happens again

chiplog.io

3 pointssubbdue1 comment

The people and breakthroughs behind Intel’s quiet revolution in formal verification