QED: Scalable Verification of Hardware Memory Consistency

Gokulan Ravi, Xiaokang Qiu, Mithuna Thottethodi +1

Memory consistency model (MCM) issues in out-of-order-issue microprocessor-based shared-memory systems are notoriously non-intuitive and a source of hardware design bugs. Prior har…