Espresso


Espresso is a two-level (PLA) logic minimizer developed at the University of California, Berkeley, in the 1990's. It is available on the web at the following links:

Visit also UCB Software Library, a great source of misc. academic software.