@misc{indiciae305bebb64e31,
  title = {Effective Simulation and Debugging for a High-level Hardware Language Using Software Compilers.},
  author = {Pit-Claudel, Cl�ment and Bourgeat, Thomas and Lau, Stella and Arvind and Chlipala, Adam},
  year = {2022},
  doi = {10.1145/3445814.3446720},
  url = {https://www.osti.gov/biblio/2005464},
  note = {Source identifier: 2005464}
}