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.

Files (123.6 MB)
Name Size
cirfix.tar.gz
md5:7c766fcaf4461dd97033e4e1de6f02ad
123.6 MB Download
215
13
views
downloads
All versions This version
Views 21548
Downloads 133
Data volume 1.6 GB370.7 MB
Unique views 15639
Unique downloads 113

Share

Cite as