Abstract:Recent years have seen increasing employment of decision intelligence in electronic design automation (EDA), which aims to reduce the manual efforts and boost the design closure process in modern toolflows. However, existing approaches either require a large number of labeled data and expensive training efforts, or are limited in practical EDA toolflow integration due to computation overhead. This paper presents a generic end-to-end sequential decision making framework FlowTune for synthesis tooflow optimization, with a novel high-performance domain-specific, multi-stage multi-armed bandit (MAB) approach. This framework addresses optimization problems on Boolean optimization problems such as a) And-Inv-Graphs (# nodes), b) Conjunction Normal Form (CNF) minimization (# clauses) for Boolean Satisfiability; logic synthesis and technology mapping problems such as c) post static timing analysis (STA) delay and area optimization for standard-cell technology mapping, and d) FPGA technology mapping for 6-in LUT architectures. Moreover, we demonstrate the high extnsibility and generalizability of the proposed domain-specific MAB approach with end-to-end FPGA design flow, evaluated at post-routing stage, with two different FPGA backend tools (OpenFPGA and VPR) and two different logic synthesis representations (AIGs and MIGs). FlowTune is fully integrated with ABC [1], Yosys [2], VTR [3], LSOracle [4], OpenFPGA [5], and industrial tools, and is released publicly. The experimental results conducted on various design stages in the flow all demonstrate that our framework outperforms both hand-crafted flows [1] and ML explored flows [6], [7] in quality of results, and is orders of magnitude faster compared to ML-based approaches.

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

Logic Synthesis Optimization with Predictive Self-Supervision via Causal Transformers

EasySO: Exploration-enhanced Reinforcement Learning for Logic Synthesis Sequence Optimization and a Comprehensive RL Environment

An Efficient Reinforcement Learning Based Framework for Exploring Logic Synthesis

Efficient Reinforcement Learning Framework for Automated Logic Synthesis Exploration

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

GoodFloorplan: Graph Convolutional Network and Reinforcement Learning-Based Floorplanning

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

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

An Open-Source AMS Circuit Optimization Framework Based on Reinforcement Learning—From Specifications to Layouts

Reinforcement Learning for Scalable Logic Optimization with Graph Neural Networks

ML-based AIG Timing Prediction to Enhance Logic Optimization

The prediction of the quality of results in Logic Synthesis using Transformer and Graph Neural Networks

Retrieval-Guided Reinforcement Learning for Boolean Circuit Minimization

An efficient leakage power optimization framework based on reinforcement learning with graph neural network

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

Logic Synthesis with Generative Deep Neural Networks

PowerSyn: A Logic Synthesis Framework with Early Power Optimization

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

IR-Aware ECO Timing Optimization Using Reinforcement Learning

Too Big to Fail? Active Few-Shot Learning Guided Logic Synthesis