RTLRewriter: Methodologies for Large Models aided RTL Code Optimization
Not on the map. Why?
Abstract (arXiv)
Register Transfer Level (RTL) code optimization is crucial for enhancing the efficiency and performance of digital circuits during early synthesis stages. Currently, optimization relies heavily on manual efforts by skilled engineers, often requiring multiple iterations based on synthesis feedback. In contrast, existing compiler-based methods fall short in addressing complex designs. This paper introduces RTLRewriter, an innovative framework that leverages large models to optimize RTL code. A circuit partition pipeline is utilized for fast synthesis and efficient rewriting. A multi-modal program analysis is proposed to incorporate vital visual diagram information as optimization cues. A specialized search engine is designed to identify useful optimization guides, algorithms, and code snippets that enhance the model ability to generate optimized RTL. Additionally, we introduce a Cost-aware Monte Carlo Tree Search (C-MCTS) algorithm for efficient rewriting, managing diverse retrieved contents and steering the rewriting results. Furthermore, a fast verification pipeline is proposed to reduce verification cost. To cater to the needs of both industry and academia, we propose two benchmarking suites: the Large Rewriter Benchmark, targeting complex scenarios with extensive circuit partitioning, optimization trade-offs, and verification challenges, and the Small Rewriter Benchmark, designed for a wider range of scenarios and patterns. Our comparative analysis with established compilers such as Yosys and E-graph demonstrates significant improvements, highlighting the benefits of integrating large models into the early stages of circuit design. We provide our benchmarks at https://github.com/yaoxufeng/RTLRewriter-Bench.
Key facts. Cited by 30 papers in the map (data through 7 Oct 2026). Builds on 20 of its 62 references that are in the map. First posted on arXiv 4 Sep 2024.
Builds on
20 of 62 references.
References · 20
- 2020An Image is Worth 16x16 Words: Transformers for Image Recognition at Scalecited by 29,915
- 2023GPT-4 Technical Reportcited by 18,132
- 2023Llama 2: Open Foundation and Fine-Tuned Chat Modelscited by 12,865
- 2022Chain-of-Thought Prompting Elicits Reasoning in Large Language Modelscited by 12,302
- 2016XGBoost: A Scalable Tree Boosting Systemcited by 5,120
- 2023Lost in the Middle: How Language Models Use Long Contextscited by 3,383
- 2024DeepSeek LLM: Scaling Open-Source Language Models with Longtermismcited by 621
- 2023VerilogEval: Evaluating Large Language Models for Verilog Code Generationcited by 246
- 2023VeriGen: A Large Language Model for Verilog Code Generationcited by 197
- 2023ChipNeMo: Domain-Adapted LLMs for Chip Designcited by 168
- 2023Chip-Chat: Challenges and Opportunities in Conversational Hardware Designcited by 136
- 2023ChatEDA: A Large Language Model Powered Autonomous Agent for EDAcited by 118
8 more
- 2024BetterV: Controlled Verilog Generation with Discriminative Guidancecited by 99
- 2023RTLFixer: Automatically Fixing RTL Syntax Errors with Large Language Modelscited by 98
- 2023RTLCoder: Outperforming GPT-3.5 in Design RTL Generation with Our Open-Source Dataset and Lightweight Solutioncited by 69
- 2023GPT4AIGChip: Towards Next-Generation AI Accelerator Design Automation via Large Language Modelscited by 59
- 2024Make Every Move Count: LLM-based High-Quality RTL Code Generation Using MCTScited by 42
- 2024HDLdebugger: Streamlining HDL debugging with Large Language Modelscited by 25
- 2023A Circuit Domain Generalization Framework for Efficient Logic Synthesis in Chip Designcited by 6
- 2024Logic Synthesis with Generative Deep Neural Networkscited by 4
Built on by
Citing papers per year: 2024: 1; 2025: 20; 2026: 9.
30 papers.
Sort:
By area:
- 2025A Survey of Circuit Foundation Model: Foundation AI Models for VLSI Circuit Design and EDAcited by 17
- 2025RealBench: Benchmarking Verilog Generation Models with Real-World IP Designscited by 14
- 2025VeriCoder: Enhancing LLM-Based RTL Code Generation through Functional Correctness Validationcited by 11
- 2025MCP4EDA: LLM-Powered Model Context Protocol RTL-to-GDSII Automation with Backend Aware Synthesis Optimizationcited by 9
- 2025Revolution or Hype? Seeking the Limits of Large Models in Hardware Designcited by 9
- 2024MetRex: A Benchmark for Verilog Code Metric Reasoning Using LLMscited by 7
- 2026EvolVE: Evolutionary Search for LLM-based Verilog Generation and Optimizationcited by 7
- 2025ReChisel: Effective Automatic Chisel Code Generation by LLM with Reflectioncited by 5
- 2025ChipSeek: Optimizing Verilog Generation via EDA-Integrated Reinforcement Learningcited by 5
- 2025DecoRTL: A Run-time Decoding Framework for RTL Code Generation with LLMscited by 4
- 2025DeepCell: Self-Supervised Multiview Fusion for Circuit Representation Learningcited by 3
- 2025VeriLoC: Line-of-Code Level Prediction of Hardware Design Quality from Verilog Codecited by 3
18 more
- 2025CROP: Circuit Retrieval and Optimization with Parameter Guidance using LLMscited by 3
- 2025Pluto: A Benchmark for Evaluating Efficiency of LLM-generated Hardware Codecited by 3
- 2025SecFSM: Knowledge Graph-Guided Verilog Code Generation for Secure Finite State Machines in Systems-on-Chipcited by 2
- 2025AgenticTCAD: A LLM-based Multi-Agent Framework for Automated TCAD Code Generation and Device Optimizationcited by 2
- 2026CODMAS: A Dialectic Multi-Agent Collaborative Framework for Structured RTL Optimizationcited by 2
- 2025BRIDGES: Bridging Graph Modality and Large Language Models within EDA Taskscited by 1
- 2025GenEDA: Towards Generative Netlist Functional Reasoning via Cross-Modal Circuit Encoder-Decoder Alignmentcited by 1
- 2025Rethinking LLM-Based RTL Code Optimization Via Timing Logic Metamorphosiscited by 1
- 2025Principle-Guided Verilog Optimization: IP-Safe Knowledge Transfer via Local-Cloud Collaborationcited by 1
- 2025CRADLE: Conversational RTL Design Space Exploration with LLM-based Multi-Agent Systemscited by 1
- 2025GENIAL: Generative Design Space Exploration via Network Inversion for Low Power Algorithmic Logic Unitscited by 0
- 2026AutoPPA: Automated Circuit PPA Optimization via Contrastive Code-based Rule Library Learningcited by 0
- 2026Verilog-Evolve: Feedback-Driven and Skill-Evolving Verilog Generationcited by 0
- 2026LLM4RTL: Tool-Assisted LLM for RTL Generationcited by 0
- 2026AUTOGATE: Automated Clock Gating via Toggling-Aware LLM-based RTL Rewritingcited by 0
- 2026LLMs in Digital EDA: A perspective on shifting roles from Generation to Orchestrationcited by 0
- 2026TicTacBench: Benchmarking Timing Closure Capabilities of Coding Agentscited by 0
- 2026ChipMEM: Verification-Grounded Memory for EDA Agentscited by 0
- 2026ChipMEM: Verification-Grounded Memory for EDA Agents22 Sep 2026
- 2026TicTacBench: Benchmarking Timing Closure Capabilities of Coding Agents20 Sep 2026
- 2026LLMs in Digital EDA: A perspective on shifting roles from Generation to Orchestration27 Aug 2026
- 2026AUTOGATE: Automated Clock Gating via Toggling-Aware LLM-based RTL Rewriting16 Jun 2026
- 2026LLM4RTL: Tool-Assisted LLM for RTL Generation13 Jun 2026
- 2026Verilog-Evolve: Feedback-Driven and Skill-Evolving Verilog Generation26 May 2026
- 2026AutoPPA: Automated Circuit PPA Optimization via Contrastive Code-based Rule Library Learning20 Apr 2026
- 2026CODMAS: A Dialectic Multi-Agent Collaborative Framework for Structured RTL Optimization17 Mar 2026
- 2026EvolVE: Evolutionary Search for LLM-based Verilog Generation and Optimization26 Jan 2026
- 2025AgenticTCAD: A LLM-based Multi-Agent Framework for Automated TCAD Code Generation and Device Optimization26 Dec 2025
- 2025Pluto: A Benchmark for Evaluating Efficiency of LLM-generated Hardware Code16 Oct 2025
- 2025Revolution or Hype? Seeking the Limits of Large Models in Hardware Design5 Sep 2025
18 more
- 2025SecFSM: Knowledge Graph-Guided Verilog Code Generation for Secure Finite State Machines in Systems-on-Chip18 Aug 2025
- 2025CRADLE: Conversational RTL Design Space Exploration with LLM-based Multi-Agent Systems12 Aug 2025
- 2025Principle-Guided Verilog Optimization: IP-Safe Knowledge Transfer via Local-Cloud Collaboration5 Aug 2025
- 2025MCP4EDA: LLM-Powered Model Context Protocol RTL-to-GDSII Automation with Backend Aware Synthesis Optimization25 Jul 2025
- 2025GENIAL: Generative Design Space Exploration via Network Inversion for Low Power Algorithmic Logic Units25 Jul 2025
- 2025Rethinking LLM-Based RTL Code Optimization Via Timing Logic Metamorphosis22 Jul 2025
- 2025RealBench: Benchmarking Verilog Generation Models with Real-World IP Designs22 Jul 2025
- 2025ChipSeek: Optimizing Verilog Generation via EDA-Integrated Reinforcement Learning7 Jul 2025
- 2025DecoRTL: A Run-time Decoding Framework for RTL Code Generation with LLMs3 Jul 2025
- 2025CROP: Circuit Retrieval and Optimization with Parameter Guidance using LLMs2 Jul 2025
- 2025VeriLoC: Line-of-Code Level Prediction of Hardware Design Quality from Verilog Code8 Jun 2025
- 2025ReChisel: Effective Automatic Chisel Code Generation by LLM with Reflection26 May 2025
- 2025VeriCoder: Enhancing LLM-Based RTL Code Generation through Functional Correctness Validation22 Apr 2025
- 2025GenEDA: Towards Generative Netlist Functional Reasoning via Cross-Modal Circuit Encoder-Decoder Alignment13 Apr 2025
- 2025BRIDGES: Bridging Graph Modality and Large Language Models within EDA Tasks7 Apr 2025
- 2025A Survey of Circuit Foundation Model: Foundation AI Models for VLSI Circuit Design and EDA28 Mar 2025
- 2025DeepCell: Self-Supervised Multiview Fusion for Circuit Representation Learning5 Feb 2025
- 2024MetRex: A Benchmark for Verilog Code Metric Reasoning Using LLMs5 Nov 2024
- 2025MCP4EDA: LLM-Powered Model Context Protocol RTL-to-GDSII Automation with Backend Aware Synthesis Optimizationcited by 9
- 2025AgenticTCAD: A LLM-based Multi-Agent Framework for Automated TCAD Code Generation and Device Optimizationcited by 2
- 2026CODMAS: A Dialectic Multi-Agent Collaborative Framework for Structured RTL Optimizationcited by 2
- 2025CRADLE: Conversational RTL Design Space Exploration with LLM-based Multi-Agent Systemscited by 1
- 2026TicTacBench: Benchmarking Timing Closure Capabilities of Coding Agentscited by 0
- 2026ChipMEM: Verification-Grounded Memory for EDA Agentscited by 0
- 2026ChipMEM: Verification-Grounded Memory for EDA Agents22 Sep 2026
- 2026TicTacBench: Benchmarking Timing Closure Capabilities of Coding Agents20 Sep 2026
- 2026CODMAS: A Dialectic Multi-Agent Collaborative Framework for Structured RTL Optimization17 Mar 2026
- 2025AgenticTCAD: A LLM-based Multi-Agent Framework for Automated TCAD Code Generation and Device Optimization26 Dec 2025
- 2025CRADLE: Conversational RTL Design Space Exploration with LLM-based Multi-Agent Systems12 Aug 2025
- 2025MCP4EDA: LLM-Powered Model Context Protocol RTL-to-GDSII Automation with Backend Aware Synthesis Optimization25 Jul 2025
- 2025A Survey of Circuit Foundation Model: Foundation AI Models for VLSI Circuit Design and EDAcited by 17
- 2025RealBench: Benchmarking Verilog Generation Models with Real-World IP Designscited by 14
- 2025VeriCoder: Enhancing LLM-Based RTL Code Generation through Functional Correctness Validationcited by 11
- 2025Revolution or Hype? Seeking the Limits of Large Models in Hardware Designcited by 9
- 2026EvolVE: Evolutionary Search for LLM-based Verilog Generation and Optimizationcited by 7
- 2025ReChisel: Effective Automatic Chisel Code Generation by LLM with Reflectioncited by 5
- 2025ChipSeek: Optimizing Verilog Generation via EDA-Integrated Reinforcement Learningcited by 5
- 2025DecoRTL: A Run-time Decoding Framework for RTL Code Generation with LLMscited by 4
- 2025DeepCell: Self-Supervised Multiview Fusion for Circuit Representation Learningcited by 3
- 2025VeriLoC: Line-of-Code Level Prediction of Hardware Design Quality from Verilog Codecited by 3
- 2025CROP: Circuit Retrieval and Optimization with Parameter Guidance using LLMscited by 3
- 2025Pluto: A Benchmark for Evaluating Efficiency of LLM-generated Hardware Codecited by 3
12 most cited of 22 All 22 (JSON)
- 2026LLMs in Digital EDA: A perspective on shifting roles from Generation to Orchestration27 Aug 2026
- 2026AUTOGATE: Automated Clock Gating via Toggling-Aware LLM-based RTL Rewriting16 Jun 2026
- 2026LLM4RTL: Tool-Assisted LLM for RTL Generation13 Jun 2026
- 2026Verilog-Evolve: Feedback-Driven and Skill-Evolving Verilog Generation26 May 2026
- 2026AutoPPA: Automated Circuit PPA Optimization via Contrastive Code-based Rule Library Learning20 Apr 2026
- 2026EvolVE: Evolutionary Search for LLM-based Verilog Generation and Optimization26 Jan 2026
- 2025Pluto: A Benchmark for Evaluating Efficiency of LLM-generated Hardware Code16 Oct 2025
- 2025Revolution or Hype? Seeking the Limits of Large Models in Hardware Design5 Sep 2025
- 2025SecFSM: Knowledge Graph-Guided Verilog Code Generation for Secure Finite State Machines in Systems-on-Chip18 Aug 2025
- 2025Principle-Guided Verilog Optimization: IP-Safe Knowledge Transfer via Local-Cloud Collaboration5 Aug 2025
- 2025GENIAL: Generative Design Space Exploration via Network Inversion for Low Power Algorithmic Logic Units25 Jul 2025
- 2025Rethinking LLM-Based RTL Code Optimization Via Timing Logic Metamorphosis22 Jul 2025
12 newest of 22 All 22 (JSON)