## ESPRESSO

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 |

all
top 5

### Referenced by 9 Authors

2 | Sasao, Tsutomu |

1 | Drechsler, Rolf |

1 | Ha, Dong Sam |

1 | Karlin, Anna R. |

1 | Reddy, Sudhakar M. |

1 | Soeken, Mathias |

1 | Strzemecki, Tadeusz |

1 | Trickey, Howard W. |

1 | Ullman, Jeffrey David |

### Referenced in 3 Serials

3 | IEEE Transactions on Computers |

1 | Journal of Complexity |

1 | Algorithmica |

### Referenced in 4 Fields

6 | Information and communication theory, circuits (94-XX) |

2 | Computer science (68-XX) |

1 | General and overarching topics; collections (00-XX) |

1 | Order, lattices, ordered algebraic structures (06-XX) |