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

AIG Rewriting Using 5-Input Cuts

Adaptive Reconvergence-driven AIG Rewriting via Strategy Learning

FPGA approximate logic synthesis through catalog-based AIG-rewriting technique

Problem C: GPU Accelerated Logic Rewriting

A Database Dependent Framework for K-Input Maximum Fanout-Free Window Rewriting

E-Syn: E-Graph Rewriting with Technology-Aware Cost Functions for Logic Synthesis

Parallel AIG Refactoring via Conflict Breaking

ShortCircuit: AlphaZero-Driven Circuit Design

Accelerating Logic Rewiring Using Implication Analysis Tree.

DAG-aware Synthesis Orchestration

Revisiting And-Inverter Cones.

Logic Synthesis with Generative Deep Neural Networks

A Design of Embedding Rewiring into Routing for FPGA Improvement

AISYN: AI-driven Reinforcement Learning-Based Logic Synthesis Framework

A General Framework for Efficient Logic Synthesis

Retrieval-Guided Reinforcement Learning for Boolean Circuit Minimization

INVICTUS: Optimizing Boolean Logic Circuit Synthesis via Synergistic Learning and Search

A Logic Programming Framework for Combinational Circuit Synthesis

ML-based AIG Timing Prediction to Enhance Logic Optimization

RTLRewriter: Methodologies for Large Models aided RTL Code Optimization

Rule-Based Optimization of Reversible Circuits