Abstract: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 <a class="link-external link-https" href="https://github.com/yaoxufeng/RTLRewriter-Bench" rel="external noopener nofollow">this https URL</a>.

Design Optimization by Fine-grained Interleaving of Local Netlist Transformations in Lagrangian Relaxation

Variation-aware gate sizing and clustering for post-silicon optimized circuits.

LEDRO: LLM-Enhanced Design Space Reduction and Optimization for Analog Circuits

High-Level Synthesis through metaheuristics and LUTs optimization in FPGA devices

Logic Synthesis Optimization Sequence tuning using RL-based LSTM and Graph Isomorphism Network

GA Based Inlining Optimization in Front-End Synthesis of Embedded Software

DREAMPlace 4.0: Timing-Driven Placement with Momentum-Based Net Weighting and Lagrangian-Based Refinement

Transistor-Level Optimization Methodology for GRM FPGA Interconnect Circuits.

Large Language Model (LLM) for Standard Cell Layout Design Optimization

Localized On-Chip Power Delivery Network Optimization via Sequence of Linear Programming

An efficient leakage power optimization framework based on reinforcement learning with graph neural network

Design Optimization and Space Minimization Considering Timing and Code Size Via Retiming and Unfolding.

IR-Aware ECO Timing Optimization Using Reinforcement Learning

An Open-Source AMS Circuit Optimization Framework Based on Reinforcement Learning—From Specifications to Layouts

Circuit optimization using device layout motifs

FADO: Floorplan-Aware Directive Optimization Based on Synthesis and Analytical Models for High-Level Synthesis Designs on Multi-Die FPGAs

Routability Optimization of Extreme Aspect Ratio Design through Non-Uniform Placement Utilization and Selective Flip-Flop Stacking

RTLRewriter: Methodologies for Large Models aided RTL Code Optimization

ROVER: RTL Optimization via Verified E-Graph Rewriting

Performance optimization of VLSI interconnect layout

An optimization-based approach to automated design