ESPRESSO-SIGNATURE: a new exact minimizer for logic functions
Patrick C. McGeer, Jagesh V. Sanghavi, Robert K. Brayton, Alberto Sangiovanni-Vicentelli · IEEE Transactions on Very Large Scale Integration (VLSI) Systems · 1993
We present a new algortthrn for exact two-ievei logzc opttmwatton which radtcally tmproves the Qutne -McCluskey (QM) procedure.The new aigorithm derzves the coverzng problem directly and amplicttly without generat~ng the set of all prtme zmplzcants.It then generates only those prime tmpltcants tnvolved in the covertng problem.We represent a set of primes by the