arXiv:2504.19099v1 交叉公告类型 摘要：大型语言模型（LLMs）在多种编程语言的调试中展现出了卓越的潜力。然而，LLMs 在 Verilog 调试中的应用仍然缺乏充分探索。在此，我们提出了 VeriDebug，一种结合对比表示和引导修正能力的自动化 Verilog 调试方法。不同于现有方法，VeriDebug 使用基于嵌入的技术以精确检索内部信息，随后进行错误修复。VeriDebug 通过共享参数空间统一了 Verilog 错误检测和修正。通过同时学习错误模式和修复方案，它利用对比嵌入和引导修正简化了调试流程。实验结果表明，VeriDebug 在增强 Verilog 调试方面具有有效性。我们的 VeriDebugLoc、Type 模型在错误修正方面的准确率（Acc1）达到了 64.7%，显著优于现有的开源 SOTA 11.3。这一性能不仅超过了开源替代方案，还超过了像 GPT-3.5-turbo 这样的更大封闭源模型（36.6），为传统的调试方法提供了一个更准确的选择。