Espresso heuristic logic minimizer

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.

  1. ^ Cite error: The named reference Hayes_1993 was invoked but never defined (see the help page).
  2. ^ Cite error: The named reference Brayton-Hachtel-Hemachandra-Newton-Sangiovanni-Vincentelli_1982 was invoked but never defined (see the help page).
  3. ^ Cite error: The named reference Brayton_2018_Berkeley was invoked but never defined (see the help page).
  4. ^ Cite error: The named reference Brayton-Hachtel-McMullen-Sangiovanni-Vincentelli_1984 was invoked but never defined (see the help page).
  5. ^ a b Cite error: The named reference Bolton_1990 was invoked but never defined (see the help page).
  6. ^ Cite error: The named reference Rudell_1986 was invoked but never defined (see the help page).
  7. ^ Cite error: The named reference Rudell-Sangiovanni-Vincentelli_1987 was invoked but never defined (see the help page).
  8. ^ Cite error: The named reference Rudell_1989 was invoked but never defined (see the help page).

© MMXXIII Rich X Search. We shall prevail. All rights reserved. Rich X Search