LLM2D
VeriMind: 代理型LLM在新型评估指标下的自动Verilog生成
VeriMind: Agentic LLM for Automated Verilog Generation with a Novel Evaluation Metric
作者: Bardia Nadimi, Ghali Omar Boutaib, Hao Zheng
发布日期: 4/17/2025
arXiv ID: oai:arXiv.org:2503.16514v3

摘要

arXiv:2503.16514v3 宣告类型: replace-cross 摘要:设计 Verilog 模块需要对正确性、效率以及遵循设计规范进行细致的关注。然而,手动编写 Verilog 代码仍然是一个复杂且耗时的任务,需要专业知识和迭代改进。利用最近在大型语言模型(LLMs)及其结构化文本生成能力方面的进展,我们提出了 VeriMind,这是一个用于 Verilog 代码生成的智能体 LLM 框架,显著自动化并优化了合成过程。与传统的基于 LLM 的代码生成器不同,VeriMind 采用了一种结构化的推理方法:给定用户提供的描述设计要求的提示后,系统首先形成一个详细的推理过程,然后再生成最终的 Verilog 代码。这种多步方法提高了硬件设计的可解释性、准确性和可适应性。此外,我们引入了一个新的评估指标 pass@ARC,结合了传统的 pass@k 度量与平均迭代完善周期(ARC)来捕获成功率和迭代完善效率。在各种硬件设计任务上的实验结果表明,我们的方法在 pass@k 度量上提高了最高 8.3%,在 pass@ARC 度量上提高了最高 8.1%。这些发现强调了智能体 LLM 在自动化硬件设计、RTL 开发和数字系统综合方面的变革潜力。