Effective simulation and debugging for a high-level hardware language using software compilers
Clément Pit-Claudel, Thomas Bourgeat, Stella Lau, Arvind Arvind, Adam J. Chlipala · 2021
Rule-based hardware-design languages (RHDLs) promise to enhance developer productivity by offering convenient abstractions. Advanced compiler technology keeps the cost of these abstractions low, generating circuits with excellent area and timing properties.