Application-Level Validation of Accelerator Designs Using a Formal Software/Hardware Interface · HackerPapers discussionshttps://hackerpaper.kaipfister.de/p/2203.00218/Collected HN comments and submissions linking this paper.enMon, 02 Nov 2026 11:16:22 GMTApplication-Level Validation of Accelerator Designs Using a Formal Software/Hardware Interface — HN submissionhttps://news.ycombinator.com/item?id=30783594urn:hackerpapers:submission:2203.00218:30783594Wed, 23 Mar 2022 21:24:29 GMT<p>Replacing Accelerator APIs with a Formal Software/Hardware Interface</p><p></p><p>3 points; 0 discussion replies on HN. <a href="https://hackerpaper.kaipfister.de/p/2203.00218/">Paper and source history</a>. A submission is not an endorsement.</p>cs.AR