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>.

P-TICER: An Effective Parallel TICER Acceleration Method for Model Order Reduction

TSA-TICER: A Two-Stage TICER Acceleration Framework for Model Order Reduction

SPIRAL: Signal-Power Integrity Co-Analysis for High-Speed Inter-Chiplet Serial Links Validation

High-Dimensional Extension of the TICER Algorithm

Error Analysis on the TICER Approximation

Order Reduction and Rapid Calculation for Multimodule Linear Circuits

An Improved Structure-Preserving Reduced-Order Interconnect Macromodeling for Large-Scale Equation Sets of Transient Interconnect Circuit Problems

An Event-Driven Parallel Acceleration Real-Time Simulation for Power Electronic Systems Without Simulation Distortion in Circuit Partitioning

Dccb And Scc Based Fast Circuit Partition Algorithm For Parallel Spice Simulation

A new efficient CAD tool for reduction of large RC networks based on PACT algorithm

A Fast Parallel Sparse Solver for SPICE-based Circuit Simulators.

An Improved Domain Decomposition Method for Drop Impact Reliability Analysis of 3-D ICs

A Reconfigurable and Area-Efficient Polynomial Multiplier Using a Novel In-Place Constant-Geometry NTT/INTT and Conflict-Free Memory Mapping Scheme

A Time Constant Estimation Method for Block RC Circuits with Application to Power Grid Analysis

On Model Order Reduction of Interconnect Circuit Network: A Fast and Accurate Method

Time-domain Analysis Methodology for Large-Scale RLC Circuits and Its Applications.

A Novel Arithmetic of Circuits Partition Used in Parallel Digital Simulation

A Digital Circuit Parallel All-indegree Topological-sort Optimization Algorithm

Parallel Segmentation Algorithm Based on Computation Front for Numerical Acceleration in Electrical Drive Real-time Simulation

Design of a High-Speed, Low-Power PTL-CMOS Hybrid Multiplier Using Critical-Path Evaluation Model

RTLRewriter: Methodologies for Large Models aided RTL Code Optimization