TY  - RPRT
TI  - Application-Level Validation of Accelerator Designs Using a Formal Software/Hardware Interface
AU  - Bo-Yuan Huang
AU  - Steven Lyubomirsky
AU  - Yi Li
AU  - Mike He
AU  - Gus Henry Smith
AU  - Thierry Tambe
AU  - Akash Gaonkar
AU  - Vishal Canumalla
AU  - Andrew Cheung
AU  - Gu-Yeon Wei
AU  - Aarti Gupta
AU  - Zachary Tatlock
AU  - Sharad Malik
PY  - 2023
UR  - https://arxiv.org/abs/2203.00218
ID  - 2203.00218
ER  -