This paper presents a technique for preprocessing combinational logic before technology mapping. The technique is based on the representation of combinational logic using And-Inverter Graphs (AIGs), a networks of two-input ANDs and inverters. The optimization works by alternating DAG-aware AIG rewriting, which reduces area by sharing common logic without increasing delay, and algebraic AIG balancing, which minimizes delay without increasing area. The new technology-independent flow is implemented in a public-domain tool ABC. Experiments on large industrial benchmarks show that the proposed methodology scales to very large designs and is several orders of magnitude faster than SIS and MVSIS while offering comparable or better quality when measured by the quality of the network after mapping. Categories and Subject Descriptors B.6.3 [Logic Design]: Design Aids ? Automatic synthesis. General Terms Algorithms, Performance, Experimentation, Theory. Keywords Technology-independent logic syn...
Alan Mishchenko, Satrajit Chatterjee, Robert K. Br