@misc{indiciae4a81b948e5e6,
  title = {Verifying High-Level Latency-Insensitive Designs with Formal Model Checking},
  author = {Steve Dai and Alicia Klinefelter and Haoxing Ren and Rangharajan Venkatesan and Ben Keller and Nathaniel Pinckney and Brucek Khailany},
  year = {2021},
  url = {https://arxiv.org/abs/2102.06326},
  note = {Source identifier: 2102.06326}
}