Fast three-level logic minimization based on autosymmetry

Sum of Pseudoproducts (SPP) is a three level logic synthesis technique developed in recent years. In this framework we exploit the "regularity" of Boolean functions to decrease minimization time. Our main results are: 1) the regularity of a Boolean function ƒ of <i>n</i> variables is expressed by its <i>autosymmetry degree</i> <i>k</i> (with 0 &xle; <i>k</i… CONTINUE READING