CirFix

新的HDL修复系统使用字典引导变异和仿真发散

研究人员开发了一种新颖的系统，用于自动修复硬件描述语言（HDL）设计，解决了搜索空间大和语法约束严格的挑战。该系统采用字典引导变异算子，利用特定于被测设计（DUT）的ANTLR派生词汇表。它将此与仿真发散故障定位模块相结合，以识别变异并将其导向高嫌疑区域。这种方法在CirFix基准套件上显示出有效性，成功修复了多种错误变体，包括先前方法无法处理的复杂多重编辑实例，同时还实现了显著的加速。