학술논문
Application-level Validation of Accelerator Designs Using a Formal Software/Hardware Interface
Document Type
Article
Author
Source
In: ACM Transactions on Design Automation of Electronic Systems . (ACM Transactions on Design Automation of Electronic Systems, 15 February 2024, 29(2))
Subject
Language
English
ISSN
15577309
10844309
10844309