arXiv cs.SE· Debleena Das, Chandan Kumar Jha, Muhammad Hassan, Rolf Drechsler, Ansuman Banerjee, Subhra K. Das, Amlan Chakrabarti·· 2 小时前AI 评分31
基于模型检查器辅助 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 cs.SE · arxiv.org