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

On Accelerating Domain-Specific MC-TS with Knowledge Retention and Efficient Parallelization for Logic Optimization

A Circuit Domain Generalization Framework for Efficient Logic Synthesis in Chip Design

Scalable Sequential Optimization Under Observability Don't Cares

Logic Synthesis Optimization with Predictive Self-Supervision via Causal Transformers

A General Framework for Efficient Logic Synthesis

Timing-driven Approximate Logic Synthesis Based on Double-chase Grey Wolf Optimizer

MTLSO: A Multi-Task Learning Approach for Logic Synthesis Optimization

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

Make Every Move Count: LLM-based High-Quality RTL Code Generation Using MCTS

An Efficient Method for Multi-Level Approximate Logic Synthesis under Error Rate Constraint.

PowerSyn: A Logic Synthesis Framework with Early Power Optimization

RTLRewriter: Methodologies for Large Models aided RTL Code Optimization

FlowTune: End-to-end Automatic Logic Optimization Exploration via Domain-specific Multi-armed Bandit

DPO: Dynamic-Programming Optimization on Hybrid Constraints

DAG-aware Synthesis Orchestration

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

Enhancing Code Generation Performance of Smaller Models by Distilling the Reasoning Ability of LLMs

Chain of Preference Optimization: Improving Chain-of-Thought Reasoning in LLMs

RethinkMCTS: Refining Erroneous Thoughts in Monte Carlo Tree Search for Code Generation

A Combinational Logic Optimization Method for Large-Scale SFQ Circuits