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