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

A Front-End Automation Tool Supporting Design, Verification and Reuse of SOC

Accelerating RTL Quality Assessment Method Based on CAD Tools

A System Verification Environment for Mixed-Signal SOC Design Based on IP Bus

Automatic Design of CPU Development Tool Chain

Architecture of a Post-Opc Silicon Verification Tool

Source-code-level Transformation and APT-Driven Parallelism Pre-processes for Embedded System Automated Design

An innovative embedded logic analyzer based SoC verification platform

Design and Implementation of Flexible Embedded SRAM Compiler

An Embedded SRAM IP Compiler Design Methodology Independent of Technology and Circuit Structure

Building of SOC Prototype Machine and IP Modules Verification

Design of Automatic SOC Parameter Configuration and Power Optimization

An Approach to Enhance the Efficiency of RISC-V Verification Using Intelligent Algorithms

A 65nm Embedded Low Power SRAM Compiler

A RISC CPU oriented reusable functional verification platform based on UVM

Hardware Verification of a 32-Bit Embedded RISC Microprocessor

Analog System High-Level Synthesis for Energy-Efficient Reconfigurable Computing

Front-End Design of Task Compiler for Reconfigurable Multimedia Processor

RTLRewriter: Methodologies for Large Models aided RTL Code Optimization

Grammar-based fuzz testing for microprocessor RTL design

A generic interface modeling approach for SOC design

Virtual-Peripheral-in-the-Loop : A Hardware-in-the-Loop Strategy to Bridge the VP/RTL Design-Gap