Bo-Yuan Huang 0001, Steven Lyubomirsky, Yi Li, Mike He, Gus Henry Smith, Thierry Tambe, Akash Gaonkar, Vishal Canumalla, Andrew Cheung, Gu-Yeon Wei, Aarti Gupta, Zachary Tatlock, Sharad Malik. Application-level Validation of Accelerator Designs Using a Formal Software/Hardware Interface. ACM Trans. Design Autom. Electr. Syst., 29(2), March 2024. [doi]
@article{HuangLLHSTGCCWGTM24,
title = {Application-level Validation of Accelerator Designs Using a Formal Software/Hardware Interface},
author = {Bo-Yuan Huang 0001 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 = {2024},
month = {March},
doi = {10.1145/3639051},
url = {https://doi.org/10.1145/3639051},
researchr = {https://researchr.org/publication/HuangLLHSTGCCWGTM24},
cites = {0},
citedby = {0},
journal = {ACM Trans. Design Autom. Electr. Syst.},
volume = {29},
number = {2},
}