Effective simulation and debugging for a high-level hardware language using software compilers

Author(s)
Pit-Claudel, Clément; Bourgeat, Thomas; Lau, Stella; Arvind; Chlipala, Adam
Thumbnail
DownloadPublished version (440.1Kb)
Publisher with Creative Commons License
Terms of use
Creative Commons Attribution 4.0 International License https://creativecommons.org/licenses/by/4.0
Metadata
Show full item record
Date issued
2021
URI
https://hdl.handle.net/1721.1/142931
Department
Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory; Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science
Journal
Proceedings of the 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems
Publisher
ACM
Citation
Pit-Claudel, Clément, Bourgeat, Thomas, Lau, Stella, Arvind and Chlipala, Adam. 2021. "Effective simulation and debugging for a high-level hardware language using software compilers." Proceedings of the 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems.
Version: Final published version
Collections