@misc{ravi2024scalable,
  title={QED: Scalable Verification of Hardware Memory Consistency},
  author={Gokulan Ravi and Xiaokang Qiu and Mithuna Thottethodi and T. N. Vijaykumar},
  year={2024},
  eprint={2404.03113},
  archivePrefix={arXiv},
  primaryClass={cs.AR},
  url={https://arxiv.org/abs/2404.03113}
}