Effective simulation and debugging for a high-level hardware language using software compilers
| Main Authors: | , , , , |
|---|---|
| Other Authors: | |
| Format: | Article |
| Language: | English |
| Published: |
ACM
2022
|
| Online Access: | https://hdl.handle.net/1721.1/142931 |
| _version_ | 1826205560947605504 |
|---|---|
| author | Pit-Claudel, Clément Bourgeat, Thomas Lau, Stella Arvind Chlipala, Adam |
| author2 | Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory |
| author_facet | Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory Pit-Claudel, Clément Bourgeat, Thomas Lau, Stella Arvind Chlipala, Adam |
| author_sort | Pit-Claudel, Clément |
| collection | MIT |
| first_indexed | 2024-09-23T13:15:06Z |
| format | Article |
| id | mit-1721.1/142931 |
| institution | Massachusetts Institute of Technology |
| language | English |
| last_indexed | 2024-09-23T13:15:06Z |
| publishDate | 2022 |
| publisher | ACM |
| record_format | dspace |
| spelling | mit-1721.1/1429312023-06-22T13:53:46Z Effective simulation and debugging for a high-level hardware language using software compilers Pit-Claudel, Clément Bourgeat, Thomas Lau, Stella Arvind Chlipala, Adam Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science 2022-06-10T15:19:11Z 2022-06-10T15:19:11Z 2021 2022-06-10T14:59:49Z Article http://purl.org/eprint/type/ConferencePaper https://hdl.handle.net/1721.1/142931 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. en 10.1145/3445814.3446720 Proceedings of the 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems Creative Commons Attribution 4.0 International License https://creativecommons.org/licenses/by/4.0 application/pdf ACM ACM |
| spellingShingle | Pit-Claudel, Clément Bourgeat, Thomas Lau, Stella Arvind Chlipala, Adam Effective simulation and debugging for a high-level hardware language using software compilers |
| title | Effective simulation and debugging for a high-level hardware language using software compilers |
| title_full | Effective simulation and debugging for a high-level hardware language using software compilers |
| title_fullStr | Effective simulation and debugging for a high-level hardware language using software compilers |
| title_full_unstemmed | Effective simulation and debugging for a high-level hardware language using software compilers |
| title_short | Effective simulation and debugging for a high-level hardware language using software compilers |
| title_sort | effective simulation and debugging for a high level hardware language using software compilers |
| url | https://hdl.handle.net/1721.1/142931 |
| work_keys_str_mv | AT pitclaudelclement effectivesimulationanddebuggingforahighlevelhardwarelanguageusingsoftwarecompilers AT bourgeatthomas effectivesimulationanddebuggingforahighlevelhardwarelanguageusingsoftwarecompilers AT laustella effectivesimulationanddebuggingforahighlevelhardwarelanguageusingsoftwarecompilers AT arvind effectivesimulationanddebuggingforahighlevelhardwarelanguageusingsoftwarecompilers AT chlipalaadam effectivesimulationanddebuggingforahighlevelhardwarelanguageusingsoftwarecompilers |