In this paper a constructive library-aware multilevel logic synthesis approach using symmetries is described. It integrates the technology-independent and technologydependent stages of synthesis, and is premised on the goal of relatingthefunctionalstructureofalogicspecificationcloser to the ultimate topological and physical structures. We show that symmetries interpreted as structural attributes of functions can be effectively used to induce a favorable structural implementation. These symmetries are used in bridging 1) the structural properties of the functions being synthesized,2)thestructuralattributesoftheimplementation network, and 3) the functional content of the target library. Experimental results show that the quality of circuits synthesized usingthis approach is generally superior to those synthesized by traditional approaches, and that the improvement correlates with the symmetry measure in a function.
Victor N. Kravets, Karem A. Sakallah