Formal Verification of Microprocessors : Automatic and Scalable Methods for Pipelined, Superscalar, and Vliw Designs

Formal verification is the mathematical proof of correctness of computer systems. Microprocessors are the most important components in computer systems, and are increasingly b