@misc{indiciaea8f7344ba733,
  title = {Application-Level Validation of Accelerator Designs Using a Formal Software/Hardware Interface},
  author = {Bo-Yuan Huang and Steven Lyubomirsky and Yi Li and Mike He and Gus Henry Smith and Thierry Tambe and Akash Gaonkar and Vishal Canumalla and Andrew Cheung and Gu-Yeon Wei and Aarti Gupta and Zachary Tatlock and Sharad Malik},
  year = {2023},
  url = {https://arxiv.org/abs/2203.00218},
  note = {Source identifier: 2203.00218}
}