  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.
