QED: Scalable Verification of Hardware Memory Consistency. - Gokulan Ravi; Xiaokang Qiu; Mithuna Thottethodi; T. N. Vijaykumar (CoRR, 2024)