摘要
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 开发和数字系统综合方面的变革潜力。