{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,21]],"date-time":"2025-11-21T11:28:41Z","timestamp":1763724521622,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":32,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,4,17]],"date-time":"2021-04-17T00:00:00Z","timestamp":1618617600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"DOI":"10.13039\/100000185","name":"Defense Advanced Research Projects Agency","doi-asserted-by":"publisher","award":["HR001118C0018"],"award-info":[{"award-number":["HR001118C0018"]}],"id":[{"id":"10.13039\/100000185","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["CCF-1521584"],"award-info":[{"award-number":["CCF-1521584"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100006234","name":"Sandia National Laboratories","doi-asserted-by":"publisher","award":["DE-NA0003525"],"award-info":[{"award-number":["DE-NA0003525"]}],"id":[{"id":"10.13039\/100006234","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2021,4,19]]},"DOI":"10.1145\/3445814.3446720","type":"proceedings-article","created":{"date-parts":[[2021,4,11]],"date-time":"2021-04-11T17:06:26Z","timestamp":1618160786000},"page":"789-803","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":10,"title":["Effective simulation and debugging for a high-level hardware language using software compilers"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-1900-3901","authenticated-orcid":false,"given":"Cl\u00e9ment","family":"Pit-Claudel","sequence":"first","affiliation":[{"name":"Massachusetts Institute of Technology, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8468-8409","authenticated-orcid":false,"given":"Thomas","family":"Bourgeat","sequence":"additional","affiliation":[{"name":"Massachusetts Institute of Technology, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3921-9440","authenticated-orcid":false,"given":"Stella","family":"Lau","sequence":"additional","affiliation":[{"name":"Massachusetts Institute of Technology, USA"}]},{"family":"Arvind","sequence":"additional","affiliation":[{"name":"Massachusetts Institute of Technology, USA"}]},{"given":"Adam","family":"Chlipala","sequence":"additional","affiliation":[{"name":"Massachusetts Institute of Technology, USA"}]}],"member":"320","published-online":{"date-parts":[[2021,4,17]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/2228360.2228584"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/2024716.2024718"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/3385412.3385965"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1950413.1950423"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/3289602.3293918"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/3110268"},{"key":"e_1_3_2_1_7_1","unstructured":"The MyHDL community. [n.d.]. MyHDL. http:\/\/www.myhdl.org\/.  The MyHDL community. [n.d.]. MyHDL. http:\/\/www.myhdl.org\/."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2011.2110592"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2001.914995"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/3110271"},{"key":"e_1_3_2_1_11_1","volume-title":"Proceedings of the 2012 System, Software, SoC and Silicon Debug Conference. IEEE, 1?6.","author":"Engblom Jakob","year":"2012","unstructured":"Jakob Engblom . 2012 . A review of reverse debugging\\balance . In Proceedings of the 2012 System, Software, SoC and Silicon Debug Conference. IEEE, 1?6. Jakob Engblom. 2012. A review of reverse debugging\\balance. In Proceedings of the 2012 System, Software, SoC and Silicon Debug Conference. IEEE, 1?6."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-1481-7_5"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.1999.761152"},{"key":"e_1_3_2_1_14_1","unstructured":"Mentor Graphics. [n.d.]. Handle-C. https:\/\/www.mentor.com\/products\/fpga\/handel-c\/.  Mentor Graphics. [n.d.]. Handle-C. https:\/\/www.mentor.com\/products\/fpga\/handel-c\/."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/IWRSP.2000.855208"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/3359986.3361199"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2004.1268836"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISCA.2018.00014"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/FPL.2018.00021"},{"key":"e_1_3_2_1_20_1","volume-title":"VHDL: Analysis and modeling of digital systems","author":"Navabi Zainalabedin","year":"1997","unstructured":"Zainalabedin Navabi . 1997 . VHDL: Analysis and modeling of digital systems . McGraw-Hill, Inc. isbn:9780070464728 Zainalabedin Navabi. 1997. VHDL: Analysis and modeling of digital systems. McGraw-Hill, Inc. isbn:9780070464728"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2004.1459818"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1575774.1575775"},{"key":"e_1_3_2_1_23_1","unstructured":"QBayLogic. [n.d.]. Clash: A modern functional hardware description language. https:\/\/clash-lang.org\/.  QBayLogic. [n.d.]. Clash: A modern functional hardware description language. https:\/\/clash-lang.org\/."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/2485922.2485963"},{"key":"e_1_3_2_1_25_1","unstructured":"Jane Street. [n.d.]. Hardcaml. https:\/\/github.com\/janestreet\/hardcaml.  Jane Street. [n.d.]. Hardcaml. https:\/\/github.com\/janestreet\/hardcaml."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.5281\/zenodo.3744225"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-3992-6"},{"key":"e_1_3_2_1_28_1","unstructured":"Veripool. [n.d.]. Verilator. https:\/\/www.veripool.org\/wiki\/verilator.  Veripool. [n.d.]. Verilator. https:\/\/www.veripool.org\/wiki\/verilator."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2009.5185393"},{"key":"e_1_3_2_1_30_1","unstructured":"Stephen Williams. [n.d.]. Icarus Verilog. http:\/\/iverilog.icarus.com\/.  Stephen Williams. [n.d.]. Icarus Verilog. http:\/\/iverilog.icarus.com\/."},{"key":"e_1_3_2_1_31_1","unstructured":"Xilinx. [n.d.]. Vivado HLS. https:\/\/www.xilinx.com\/products\/design-tools\/vivado\/integration\/esl-design.html.  Xilinx. [n.d.]. Vivado HLS. https:\/\/www.xilinx.com\/products\/design-tools\/vivado\/integration\/esl-design.html."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISPASS.2007.363733"}],"event":{"name":"ASPLOS '21: 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Virtual USA","acronym":"ASPLOS '21"},"container-title":["Proceedings of the 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3445814.3446720","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/abs\/10.1145\/3445814.3446720","content-type":"text\/html","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3445814.3446720","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3445814.3446720","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T21:28:14Z","timestamp":1750195694000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3445814.3446720"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,4,17]]},"references-count":32,"alternative-id":["10.1145\/3445814.3446720","10.1145\/3445814"],"URL":"https:\/\/doi.org\/10.1145\/3445814.3446720","relation":{},"subject":[],"published":{"date-parts":[[2021,4,17]]},"assertion":[{"value":"2021-04-17","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}