Scalable Don’t-Care-Based Logic Optimization and Resynthesis

Traditionally, subsets of don’t-cares are derived and used to optimize a node [28][16]. This optimization may involve minimizing the node’s function in isolation from other nodes, or expressing the node in terms of a different set of fanins. The former transformation is known as don’t-care-based optimization; the latter is resubstitution ... ................
................