arXiv· Debleena Das·· 7 天前推荐指数38
模型检查器辅助 LLM 的自动化多行 Bug 修复：RISC-V 处理器案例研究
Automated Multi-Line Bug Repair Using Model Checker Aided LLMs: A Case Study on RISC-V Processors
AI 导读
一项案例研究提出结合 LLM、断言与模型检查器 JasperGold 的自动化 RTL Bug 修复方法，在 BRISC-V RISC-V 处理器上通过变异测试实现最高 98% 的单行 RTL Bug 修复率和 93% 的多行 Bug 修复率。
来源：arXiv · arxiv.org