On SNF Optimization: a Functional Comparison of Methods

Abstract: In this paper we present a comparative study on methods calculating the special normal form (SNF) allowing an exact ESOP minimum representation. SNF [1] evaluation is shown to be highly practical and demonstrated results prove its real application in functional ESOP minimization and evaluation of the complexity and of the structure of Boolean functions. 1