arXiv:2409.15186v1 公告类型: 交叉 摘要: Verilog代码中的错误定位是硬件设计验证过程中一项关键且耗时的任务。自引入以来，大型语言模型（LLMs）展示了其强大的编程能力。然而，目前尚未有研究考虑使用LLMs进行Verilog代码中的错误定位。本文介绍了Location-is-Key，一种开源的LLM解决方案，用于定位Verilog代码片段中的功能错误。LiK在基于RTLLM的测试数据集上实现了高达93.3%的定位准确率，超过了GPT-4的77.9%，并与Claude-3.5的90.8%相当。此外，LiK获得的错误定位显著提高了GPT-3.5的错误修复效率（功能通过率从40.39%提升至58.92%），突显了错误定位在基于LLM的Verilog调试中的重要性。与现有方法相比，LiK仅需要设计规范和错误代码片段，无需测试平台、断言或其他EDA工具。本研究展示了使用LLMs进行Verilog错误定位的可行性，从而为自动Verilog代码调试提供了新的方向。