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 ( if you have any questions.

Files (123.6 MB)
Name Size
123.6 MB Download
All versions This version
Views 349106
Downloads 155
Data volume 1.8 GB617.8 MB
Unique views 27194
Unique downloads 135


Cite as