4 ms·Formal verification is actually heavily used in the semiconductor industry these daysby sentinalien 3y agoFormal verification is actually heavily used in the semiconductor industry these days