CirFix: automatically repairing defects in hardware design code
CirFix: automatically repairing defects in hardware design code
复制标题
DOI：
10.1145/3503222.3507763
复制
发表时间：
2022-02
期刊：
影响因子：
--
通讯作者：
Hammad Ahmad;Yu Huang;Westley Weimer
中科院分区：
文献类型：
--
作者：
Hammad Ahmad;Yu Huang;Westley Weimer
本文介绍了Cirfix，这是一种用于自动修复以Verilog等语言实现的硬件设计缺陷的框架。我们根据电线和寄存器的分配提出了一种新颖的故障定位方法，以及针对硬件域量身定制的健身功能，以弥合软件级自动化程序维修和硬件描述之间的差距。我们还提供了与各种硬件项目相对应的32个缺陷方案的基准套件。总体而言，Cirfix可为21/32的合理维修提供合理的维修，并为16/32的缺陷方案进行正确的维修。该维修率与软件成功的程序维修方法相当，表明Cirfix有效地将自动化程序维修的好处带到了硬件域。
This paper presents CirFix, a framework for automatically repairing defects in hardware designs implemented in languages like Verilog. We propose a novel fault localization approach based on assignments to wires and registers, and a fitness function tailored to the hardware domain to bridge the gap between software-level automated program repair and hardware descriptions. 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.