Application-level Validation of Accelerator Designs Using a Formal Software/Hardware Interface

Open Webpage

Bo-Yuan Huang, 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

Published: 01 Jan 2024, Last Modified: 24 Apr 2025ACM Trans. Design Autom. Electr. Syst. 2024EveryoneRevisionsBibTeXCC BY-SA 4.0