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

Arithmetic Operand Ordering for Equivalence Checking

Combining Half Adder Graph for Equivalence Checking of Arithmetic Circuits

Combinational Equivalence Checking Based on Circuit Topology Analysis

RTL Property Checking Technology Based on ATPG and ILP

Design of Adder Based on Abacus Algorithm

Functional Verification of High Performance Adders in COQ

MasterRTL: A Pre-Synthesis PPA Estimation Framework for Any RTL Design

An Automatic Optimization Method of Combinational Logic Loops in CGRA

Equivalence Checking a Floating-point Unit against a High-level C Model (Extended Version)

A method to build reconfigurable architectures by extracting common subgraphs

A 16-bit Arithmetic Logic Unit Design by Using Gate Diffusion Input

Latch mapping algorithm for equivalence checking

Practical Boolean Decomposition for Delay-driven LUT Mapping

Register transfer level verification system based on hybrid satisfiability engine

RTLRewriter: Methodologies for Large Models aided RTL Code Optimization

A Novel Algorithm For Common Subexpression Elimination In Vlsi Implementation Of High-Speed Multiplierless Fir Filters

Optimized Gate Diffusion Input Method-Based Reversible Magnitude Arithmetic Unit Using Non-dominated Sorting Genetic Algorithm II

EHSAT Modeling from Algorithm Description for RTL Model Checking

An Arithmetic Logic Unit design based on reversible logic gates

Combinational equivalence checking method based on universal cut and special cut

ArithsGen: Arithmetic Circuit Generator for Hardware Accelerators