paperbot · PL 论文追踪

全部论文 待读 收藏

P2 CirFix: automatically repairing defects in hardware design code

CirFix：自动修复硬件设计代码中的缺陷
ASPLOS Proceedings of the 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems2022匹配度 2/10 · 论文研究 Verilog 硬件设计的自动缺陷修复与故障定位，属于软件工程/EDA 方向；虽涉及程序修复与基准测试，但未涉及用户核心关注的 LLM/Agent 与静态分析交叉、浮点程序分析或贝叶斯程序分析。引用 40 inbox
Hammad Ahmad, Yu Huang, Westley Weimer
测试、调试与修复语言与体系结构
crossref: 2026-09-12dblp: 2026-09-12

AI 速览

一句话：提出面向 Verilog 硬件设计的自动缺陷修复框架，并首次将自动程序修复的收益带入硬件领域。

本文提出 CirFix，一个面向 Verilog 等硬件设计语言的自动缺陷修复框架。针对软件级自动程序修复难以直接迁移到硬件描述的问题，作者设计了基于 wire 与 register 赋值的故障定位方法，以及面向硬件领域的适应度函数，并构建了包含 32 个缺陷场景的基准套件。在评估中，CirFix 为 21/32 的场景生成合理修复，为 16/32 生成正确修复，修复率与成功的软件程序修复方法相当，表明其首次将自动程序修复的收益有效带入硬件设计领域。

问题
如何自动修复以 Verilog 等语言实现的硬件设计缺陷，并弥合软件级自动程序修复与硬件描述之间的差距。
方法
提出基于 wire 与 register 赋值的故障定位方法和面向硬件领域的适应度函数，并构建包含 32 个缺陷场景的基准套件。
评估
在 32 个缺陷场景上，CirFix 为 21/32 生成合理修复、为 16/32 生成正确修复，修复率与成功的软件程序修复方法相当。
原文摘要（Abstract）

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.

链接与引用

DOI 原文 · DBLP

BibTeX 
@inproceedings{Ahmad0W22,
  title = {CirFix: automatically repairing defects in hardware design code},
  author = {Hammad Ahmad and Yu Huang and Westley Weimer},
  booktitle = {ASPLOS},
  year = {2022},
  doi = {10.1145/3503222.3507763}
}