TY  - RPRT
TI  - Effective Simulation and Debugging for a High-level Hardware Language Using Software Compilers.
AU  - Pit-Claudel, Cl�ment
AU  - Bourgeat, Thomas
AU  - Lau, Stella
AU  - Arvind
AU  - Chlipala, Adam
PY  - 2022
DO  - 10.1145/3445814.3446720
UR  - https://www.osti.gov/biblio/2005464
ID  - 2005464
ER  -