用智能体LLM自动生成更准确高效的Verilog代码
VeriMind: Agentic LLM for Automated Verilog Generation with a Novel Evaluation Metric
- 采用多步推理生成Verilog,提升设计可解释性与准确性
- 在pass@k上提升8.3%,pass@ARC上提升8.1%的迭代效率
- 适合芯片设计自动化、RTL开发人员快速验证原型
硬件模块设计需高度关注正确性、效率和规格符合性,但手动编写Verilog代码仍复杂耗时,依赖专家知识并需反复迭代。本文提出VeriMind,一种用于自动Verilog生成的智能体式大语言模型框架,显著提升综合流程的自动化与优化水平。不同于传统基于LLM的代码生成器,VeriMind采用结构化推理:在生成最终代码前,先根据用户提供的设计需求构建详细思维链。该多步骤方法增强了硬件设计中的可解释性、准确性和适应性。此外,我们提出新型评估指标pass@ARC,融合传统pass@k与平均优化周期(ARC),以同时衡量成功率与迭代效率。在多种硬件设计任务上的实验表明,本方法在pass@k指标上最高提升8.3%,在pass@ARC上提升8.1%。这些结果凸显了智能体式LLM在自动化硬件设计、RTL开发及数字系统综合中的变革潜力。
原文摘要 · Abstract (English)
Designing Verilog modules requires meticulous attention to correctness, efficiency, and adherence to design specifications. However, manually writing Verilog code remains a complex and time-consuming task that demands both expert knowledge and iterative refinement. Leveraging recent advancements in large language models (LLMs) and their structured text generation capabilities, we propose VeriMind, an agentic LLM framework for Verilog code generation that significantly automates and optimizes the synthesis process. Unlike traditional LLM-based code generators, VeriMind employs a structured reasoning approach: given a user-provided prompt describing design requirements, the system first formulates a detailed train of thought before the final Verilog code is generated. This multi-step methodology enhances interpretability, accuracy, and adaptability in hardware design. In addition, we introduce a novel evaluation metric-pass@ARC-which combines the conventional pass@k measure with Average Refinement Cycles (ARC) to capture both success rate and the efficiency of iterative refinement. Experimental results on diverse hardware design tasks demonstrated that our approach achieved up to $8.3\%$ improvement on pass@k metric and $8.1\%$ on pass@ARC metric. These findings underscore the transformative potential of agentic LLMs in automated hardware design, RTL development, and digital system synthesis.
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品;中文卡片由大模型生成,请以原文为准。