swMATH ID: 8227
Software Authors: R. K. Brayton, G. D. Hachtel, L. A. Hemachandra, A. R. Newton, A. L. M. Sangiovanni-Vincentelli
Description: A comparison of logic minimization strategies using EXPRESSO: an APL program package for partitioned logic minimalization. (?? Espresso is a two-level (PLA) logic minimizer developed at the University of California, Berkeley, in the 1990’s)
Homepage: http://www.ecs.umass.edu/ece/labs/vlsicad/ece667/links/espresso.html
Related Software: tiny_sha3; ABC; Sat4j; Chaff; z3; MiniSat
Referenced in: 6 Publications

Referencing Publications by Year