Abstract:The key methodologies of modern logic synthesis techniques are conducted on multi-level technology-independent representations such as And-Inverter-Graphs (AIGs) of the digital logic via directed-acyclic-graph (DAGs) traversal based structural rewriting, resubstitution, and refactoring. Existing state-of-the-art DAG-aware logic synthesis algorithms are all designed to perform stand-alone optimizations during a single DAG traversal. However, we empirically identify and demonstrate that these algorithms are limited in quality-of-results and runtime complexity due to this design concept. This work proposes Synthesis Orchestration, which orchestrates stand-alone operations within the single traversal of AIG. Thus, orchestration method explores more optimization opportunities and results in better performance. Our experimental results are comprehensively conducted on all 104 designs collected from ISCAS'85/89/99, VTR, and EPFL benchmark suites, with consistent logic minimization improvements over rewriting, resubstitution, refactoring, leading to an average of 4% more node reduction with improved runtime efficiency for the single optimization. Moreover, we evaluate orchestration as a plug-in algorithm in resyn and resyn3 flows in ABC, which demonstrates consistent logic minimization improvements (3.8% and 10.9% more node reduction on average). The runtime analysis demonstrates the orchestration outperforms stand-alone algorithms in both AIG minimization and runtime efficiency. Finally, we integrate the orchestration into OpenROAD for end-to-end performance evaluation. Our results demonstrate the advantages of the orchestration optimization technique, even after technology mapping and post-routing in the design flow have been conducted.

LSOracle: a Logic Synthesis Framework Driven by Artificial Intelligence: Invited Paper

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

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

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

DAG-aware Synthesis Orchestration

Logic Synthesis Optimization with Predictive Self-Supervision via Causal Transformers

Deep-PowerX: A Deep Learning-Based Framework for Low-Power Approximate Logic Synthesis

PowerSyn: A Logic Synthesis Framework with Early Power Optimization

A General Framework for Efficient Logic Synthesis

Advanced Large Language Model (LLM)-Driven Verilog Development: Enhancing Power, Performance, and Area Optimization in Code Synthesis

AnySyn: A Cost-Generic Logic Synthesis Framework with Customizable Cost Functions

LOSTIN: Logic Optimization Via Spatio-Temporal Information with Hybrid Graph Models

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

An Efficient Reinforcement Learning Based Framework for Exploring Logic Synthesis

LOSTIN: (L)under-barogic (O)under-barptimization via (S)under-barpatio-(T)under-baremporal (In)under-barformation with Hybrid Graph Models

Advancing Logic in AI: Insights from the LNGAI 2021 Workshop

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

An interactive logic synthesis system based upon AI techniques

OpenLS-DGF: An Adaptive Open-Source Dataset Generation Framework for Machine Learning Tasks in Logic Synthesis

ERL-LS: Accelerating Primitive Sequence Generation of Logic Synthesis with Evolutionary Reinforcement Learning

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