Formal verification is fundamental in many phases of digital systems design. The most successful verification procedures......