Chrome Extension
WeChat Mini Program
Use on ChatGLM
VIPCreated with Sketch.

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

ACM Trans Design Autom Electr Syst（2024）

Cited 0|Views7
Key words
Accelerator,domain-specific language,compilation,validation,software/hardware,interface
AI Read Science
Must-Reading Tree
Example
Generate MRT to find the research sequence of this paper
Chat Paper
Summary is being generated by the instructions you defined