External Links

    Journal: Formal Methods in System Design

    Volume 20, Issue 2

    135 -- 137Warren A. Hunt Jr.. Introduction: Special Issue on Microprocessor Verifications
    139 -- 158Robert B. Jones, Jens U. Skakkebæk, David L. Dill. Formal Verification of Out-of-Order Execution with Incremental Flushing
    159 -- 186Sergey Berezin, Edmund M. Clarke, Armin Biere, Yunshan Zhu. Verification of Out-Of-Order Processor Designs Using Model Checking and a Light-Weight Completion Function
    187 -- 222Jun Sawada, Warren A. Hunt Jr.. Verification of FM9801: An Out-of-Order Microprocessor Model with Speculative Execution, Exceptions, and Program-Modifying Capability
    runs on