Effective Simulation and Debugging for a High-level Hardware Language Using Software Compilers.

Pit-Claudel, Cl�ment; Bourgeat, Thomas; Lau, Stella; Arvind; Chlipala, Adam

doi:10.1145/3445814.3446720

DOE OSTI · 2005464

Effective Simulation and Debugging for a High-level Hardware Language Using Software Compilers.

Pit-Claudel, Cl�ment·Bourgeat, Thomas·Lau, Stella·Arvind·Chlipala, Adam

View original source ↗Read source document ↗Export metadata ↓

Abstract

Abstract not provided.

Keep this discovery

Explore connections, maps & timelines

BibTeX RIS

Pit-Claudel, Cl�ment, Bourgeat, Thomas, Lau, Stella, Arvind, Chlipala, Adam. 2022-10-01. Effective Simulation and Debugging for a High-level Hardware Language Using Software Compilers.. https://doi.org/10.1145/3445814.3446720

Cite the original work for its findings. Save a collection to share your selection of sources.