CEGAR-Based Formal Hardware Verification: A Case Study
Automatic Verification of Pipelined Microprocessor Control