Search papers, labs, and topics across Lattice.
Verilog-Evolve is introduced, a feedback-driven framework that iteratively refines Verilog code generated by LLMs using functional simulation, synthesis, timing analysis, and custom hardware metrics. This approach promotes the best candidate Verilog version based on a configurable scoring system, improving both functional correctness and downstream hardware objectives. Experiments on VerilogEval and GEMM tasks demonstrate that Verilog-Evolve enhances functional success, promotion stability, and RTL quality under open-source synthesis and timing constraints.
LLMs can generate Verilog that's actually useful for hardware design when guided by a closed-loop system that incorporates feedback from simulation, synthesis, and timing analysis.
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.
