arXiv:2605.26498cs.CL2026-05

用反馈迭代优化生成更易合成、时序友好的Verilog代码

Verilog-Evolve: Feedback-Driven and Skill-Evolving Verilog Generation

  • 通过功能仿真、综合和时序代理多维度反馈,持续优化Verilog代码
  • 在GEMM任务中实现更高通过率与更优下游性能表现
  • 支持跨任务技能演化,适合硬件设计自动化研究者

大型语言模型虽提升了从自然语言生成Verilog的能力,但现有流程多为孤立采样后验证,难以满足实际RTL设计需求。本文提出Verilog-Evolve框架,实现版本化代码迭代与跨会话技能演化。针对每个任务,系统生成多个候选代码,通过功能仿真、Yosys综合、ABC时序代理及可选的GEMM指标进行可执行反馈评估,并依据配置评分将最优方案升级为主版本。为提升跨任务能力,系统维护模块化技能库,根据任务与反馈上下文检索技能,并通过记录的历史中的创建/改进/跳过决策与验证报告演化候选技能。在VerilogEval和混合精度GEMM任务上的实验表明,Verilog-Evolve在保证功能成功率与晋升稳定性的同时,生成了更具下游友好性的RTL,在开源综合、时序代理和网表级GEMM目标下表现更优。带验证门控的技能演化进一步提升了GEMM下游质量,在所有对比技能模式中取得最佳下游得分与持留通过率。

原文摘要 · Abstract (English)

Large language models (LLMs) have improved Verilog generation from natural-language specifications, but most pipelines still treat generation as isolated sampling followed by functional checking. This is insufficient for practical RTL design, where useful Verilog must be correct, synthesizable, timing-conscious, and friendly to downstream hardware objectives. We present Verilog-Evolve, a feedback-driven framework for versioned Verilog refinement and cross-session skill evolution. For each task, Verilog-Evolve generates diverse minor candidates, evaluates them with executable feedback from functional simulation, Yosys synthesis, ABC timing proxy, and optional GEMM metrics, then promotes the best candidate into a major version under configurable scoring. To improve across tasks, the system maintains modular skill guidance, retrieves skills according to task and feedback context, and evolves candidate skills from logged histories through create/improve/skip decisions and verifier reports. Experiments on VerilogEval and mixed-precision GEMM tasks show that Verilog-Evolve improves final functional success and promotion stability while producing more downstream-friendly RTL under open-source synthesis, timing-proxy, and netlist-level GEMM objectives. Validation-gated skill evolution further improves GEMM downstream quality and achieves the best downstream score and GEMM held-out pass rate among the evaluated skill modes.

Verilog生成硬件设计反馈优化技能演化

Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品;中文卡片由大模型生成,请以原文为准。