How Intel makes sure the FDIV bug never happens again

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