CirFix: Automated Hardware Repair and its Real-World Applications
CirFix: Automated Hardware Repair and its Real-World Applications
复制标题
DOI：
10.1109/tse.2023.3269899
复制
发表时间：
2023-07
影响因子：
7.4
通讯作者：
Priscila Santiesteban;Yu Huang;Westley Weimer;Hammad Ahmad
中科院分区：
文献类型：
--
作者：
Priscila Santiesteban;Yu Huang;Westley Weimer;Hammad Ahmad
本文介绍了Cirfix，这是一种用于自动修复用Verilog等语言实现的硬件设计缺陷的框架。我们根据电线和寄存器的分配提出了一种新颖的故障定位方法，以及针对硬件域量身定制的健身功能，以弥合软件级自动化程序维修和硬件描述之间的差距。我们还提供了与各种硬件项目相对应的32个缺陷方案的基准套件。总体而言，Cirfix可为21/32的合理维修提供合理的维修，并为16/32的缺陷方案进行正确的维修。此外，我们通过人类研究（n = 41）独立评估了Cirfix的断层定位，并发现该方法可能是复杂多线硬件缺陷的有益调试辅助。
This article 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. Additionally, we evaluate CirFix's fault localization independently through a human study (n = 41), and find that the approach may be a beneficial debugging aid for complex multi-line hardware defects.