History of Formal Verification at Intel