Planned intervention: On Wednesday April 3rd 05:30 UTC Zenodo will be unavailable for up to 2-10 minutes to perform a storage cluster upgrade.

There is a newer version of the record available.

Published February 28, 2022 | Version v2
Conference paper Open

CirFix: Automatically Repairing Defects in Hardware Design Code (Artifact)

  • 1. University of Michigan
  • 2. Vanderbilt University

Description

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

Files (126.4 MB)

Name Size Download all
md5:9473837629e39774fefa26ef98e34935
126.4 MB Download

Additional details