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

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

Research output: Contribution to journal › Article › peer-review

2 Scopus citations

Fingerprint

Dive into the research topics of 'Application-level Validation of Accelerator Designs Using a Formal Software/Hardware Interface'. Together they form a unique fingerprint.

Keyphrases

Computer Science