The ESPRESSO logic minimizer is a computer program using heuristic and specific algorithms for efficiently reducing the complexity of digital logic gate circuits.[1] ESPRESSO-I was originally developed at IBM by Robert K. Brayton et al. in 1982.[2][3] and improved as ESPRESSO-II in 1984.[4][5] Richard L. Rudell later published the variant ESPRESSO-MV in 1986[6] and ESPRESSO-EXACT in 1987.[7][8][5] Espresso has inspired many derivatives.
Hayes_1993
was invoked but never defined (see the help page).Brayton-Hachtel-Hemachandra-Newton-Sangiovanni-Vincentelli_1982
was invoked but never defined (see the help page).Brayton_2018_Berkeley
was invoked but never defined (see the help page).Brayton-Hachtel-McMullen-Sangiovanni-Vincentelli_1984
was invoked but never defined (see the help page).Bolton_1990
was invoked but never defined (see the help page).Rudell_1986
was invoked but never defined (see the help page).Rudell-Sangiovanni-Vincentelli_1987
was invoked but never defined (see the help page).Rudell_1989
was invoked but never defined (see the help page).