ESPRESSO-SIGNATURE: a new exact minimizer for logic functions

Patrick C. McGeer, Jagesh V. Sanghavi, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli. ESPRESSO-SIGNATURE: a new exact minimizer for logic functions. IEEE Trans. VLSI Syst., 1(4):432-440, 1993. [doi]

Abstract

Abstract is missing.