The bibliographic entry was discovered and compiled by a machine, and published without a person checking it against the publication. The publication itself is the authors' own work — this badge says nothing about it.
Effective simulation and debugging for a high-level hardware language using software compilers
The work
| Authors | Clément Pit-Claudel; Thomas Bourgeat; Stella Lau; Arvind Arvind; Adam J. Chlipala |
|---|---|
| Editors | |
| Type | misc |
| Year | 2021 |
| Citekey | pitclaudel2021effective |
Where it appeared
| Pages | 789--803 |
|---|
Identifiers
| DOI | 10.1145/3445814.3446720 |
|---|---|
| OpenAlex | W3152853872 |
Access
| Landing page | https://doi.org/10.1145/3445814.3446720 |
|---|---|
| Free full text | https://dl.acm.org/doi/pdf/10.1145/3445814.3446720 |
From OpenAlex, which stores abstracts as an index of words and their positions: what is shown is rebuilt from that, and reads fluently whether or not it is what the author wrote.
Abstract
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.
How it got here
| How it got here | agent via openalex |
|---|---|
| Added | 2026-10-26 04:05 UTC |
| Not denied by | a person 2026-10-29 17:12 UTC |
Filed under
Cite it as
@misc{pitclaudel2021effective,
title = {Effective simulation and debugging for a high-level hardware language using software compilers},
author = {Clément Pit-Claudel and Thomas Bourgeat and Stella Lau and Arvind Arvind and Adam J. Chlipala},
year = {2021},
pages = {789--803},
doi = {10.1145/3445814.3446720},
}
This record lives at https://refs.drheap.org/pitclaudel2021effective/ and will keep doing so.