Verification of Out-Of-Order Processor Designs Using Model Checking and a Light-Weight Completion Function.

Sergey Berezin Edmund M. Clarke Armin Biere Yunshan Zhu Verification of Out-Of-Order Processor Designs Using Model Checking and a Light-Weight Completion Function. 159-186 2002 20 Formal Methods in System Design 2 db/journals/fmsd/fmsd20.html#BerezinCBZ02