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.

DeLoSo: Detecting Logic Synthesis Optimization Faults Based on Configuration Diversity

A Survery :The Synthisis of Structural Supervisor for OR-logics Linear Constraints

Scalable Sequential Optimization Under Observability Don't Cares

A Novel Logic Detection Algorithm for Logic Circuits

Logic Synthesis Optimization with Predictive Self-Supervision via Causal Transformers

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

A Novel HDL Code Generator for Effectively Testing FPGA Logic Synthesis Compilers

PowerSyn: A Logic Synthesis Framework with Early Power Optimization

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

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

LLM-aided explanations of EDA synthesis errors

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

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

Simulating Charged Defects in Silicon Dangling Bond Logic Systems to Evaluate Logic Robustness

DESCO: Decomposition-Based Co-Design to Improve Fault Tolerance of Security-Critical Tasks in Cyber Physical Systems

Logic Bug Detection and Localization Using Symbolic Quick Error Detection

DAG-aware Synthesis Orchestration

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

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

ResiLogic: Leveraging Composability and Diversity to Design Fault and Intrusion Resilient Chips