SNF: A Special Normal Form for ESOPs
Bernd Steinbach, Alan Mishchenko · 2001
This paper introduces a new normal form for Exclusive Sums-of-Products (ESOPs) of completely specified Boolean functions. We study the properties of the SNF and show its special place among canonical Reed-Muller representations. We propose to use the SNF in a number of applications related to the exact ESOP minimization. We describe an efficient way to compute the SNF with the complexity proportional to the number of nodes in the BDD of the given function. Experimental results speak for the potential usefulness of the SNF. 1