arXiv:2503.16514v2 宣告类型: replace-cross 摘要: 设计 Verilog 模块需要对正确性、效率和设计规范的严格关注。然而，手动编写 Verilog 代码仍然是一项复杂且耗时的任务，需要专家知识和反复的完善。利用最近在大型语言模型 (LLMs) 及其结构化文本生成能力方面的进展，我们提出了一种名为 VeriMind 的代理 LLM 框架，用于显著自动化和优化 Verilog 代码的生成过程。与传统的基于 LLM 的代码生成器不同，VeriMind 采用了一种结构化推理方法：在生成最终的 Verilog 代码之前，系统首先形成详细的思想过程。这种多步方法增强了硬件设计的可解释性、准确性和适应性。此外，我们引入了一个新颖的评估指标 pass@ARC，该指标结合了传统的 pass@k 测量方法与平均改进循环次数 (ARC) 以捕捉成功率和迭代改进的效率。在多样化的硬件设计任务上的实验结果表明，我们的方法在 pass@k 指标上实现了高达 8.3% 的改进，在 pass@ARC 指标上实现了 8.1% 的改进。这些发现凸显了代理 LLM 在自动硬件设计、RTL 开发和数字系统综合中的变革潜力。