Formal verification is actually heavily used in the semiconductor industry these days