TY  - RPRT
TI  - QED: Scalable Verification of Hardware Memory Consistency
AU  - Gokulan Ravi
AU  - Xiaokang Qiu
AU  - Mithuna Thottethodi
AU  - T. N. Vijaykumar
PY  - 2024
UR  - https://arxiv.org/abs/2404.03113
ID  - 2404.03113
ER  -