@misc{indiciaec7e93577c7ec,
  title = {RealityCheck: Bringing Modularity, Hierarchy, and Abstraction to Automated Microarchitectural Memory Consistency Verification},
  author = {Yatin A. Manerkar and Daniel Lustig and Margaret Martonosi},
  year = {2020},
  url = {https://arxiv.org/abs/2003.04892},
  note = {Source identifier: 2003.04892}
}