Affiliation:
1. Massachusetts Institute of Technology, USA
Funder
Defense Advanced Research Projects Agency (DARPA)
National Science Foundation
Reference51 articles.
1. A Comparative Evaluation of High-Level Hardware Synthesis Using Reed–Solomon Decoder
2. Markus Aronsson and Mary Sheeran. 2017. Markus Aronsson and Mary Sheeran. 2017.
3. Hardware software co-design in Haskell
4. Chisel
5. 2228360.2228584 10.1145/2228360.2228584 2228360.2228584 10.1145/2228360.2228584
Cited by
25 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. A formal framework to design and prove trustworthy memory controllers;Real-Time Systems;2023-11-14
2. Verification-Driven Design for Asynchronous VLSI;2023 28th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC);2023-07-16
3. A Generic Framework to Develop and Verify Security Mechanisms at the Microarchitectural Level: Application to Control-Flow Integrity;2023 IEEE 36th Computer Security Foundations Symposium (CSF);2023-07
4. Modular Hardware Design with Timeline Types;Proceedings of the ACM on Programming Languages;2023-06-06
5. Stepwise Debugging for Hardware Accelerators;Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 2;2023-01-27