Conference paper Open Access
CirFix: Automatically Repairing Defects in Hardware Design Code (Artifact)
Ahmad, Hammad; Huang, Yu; Weimer, Westley
This submission includes an artifact for CirFix, a framework for automatically repairing defects in hardware designs implemented in languages like Verilog. We also present a benchmark suite of 32 defect scenarios corresponding to a variety of hardware projects. Overall, CirFix produces plausible repairs for 21/32 and correct repairs for 16/32 of the defect scenarios. This repair rate is comparable to that of successful program repair approaches for software, indicating CirFix is effective at bringing over the benefits of automated program repair to the hardware domain for the first time.
Please contact Hammad Ahmad (hammada@umich.edu) if you have any questions.
| Name | Size | |
|---|---|---|
|
cirfix.tar.gz
md5:7c766fcaf4461dd97033e4e1de6f02ad |
123.6 MB | Download |
| All versions | This version | |
|---|---|---|
| Views | 349 | 106 |
| Downloads | 15 | 5 |
| Data volume | 1.8 GB | 617.8 MB |
| Unique views | 271 | 94 |
| Unique downloads | 13 | 5 |
- Publication date:
- February 28, 2022
- DOI:
-
- Meeting:
- 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS'22), Lausanne, Switzerland, Feb 28, 2022 -- Mar 4, 2022
- Alternate identifiers:
- License (for files):
- MIT License