LLM结合模型检查器修复RTL多行缺陷

Debleena Das 等作者提出一种结合大语言模型、断言与模型检查器 JasperGold 的自动化 RTL 缺陷修复方法，并在 BRISC-V RISC-V 核上通过变异测试评估：可修复高达 98% 的单行 RTL 缺陷和 93% 的多行缺陷。 该方法的目标是为 LLM 生成的修复提供可扩展的语义依据和形式化保证，作者称其能处理多行缺陷，而不只限于单行修改。上述修复比例来自该核上的变异测试，尚不能直接推广到其他设计。

AI 根据报道生成 · 2 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。