Effective simulation and debugging for a high-level hardware language using software compilers

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

doi:10.1145/3445814.3446720

ASPLOS2021顶会

Effective simulation and debugging for a high-level hardware language using software compilers

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

DOI 出版方

2021年份

12被引次数

6顶会引用

摘要

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.