Espresso-Signature: A New Exact Minimizer for Logic Functions.

Patrick C. McGeer, Jagesh V. Sanghavi, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli

Browse the full DAC paper archive.