Logic Reduction/Factorization Berkeley’s Espresso
1) Implicants are expanded into their maximum size. Implicants that are covered by an expanded implicant are removed from further consideration. This process is called expand. Success depends critically on the order and direction in which implicants are expanded.
2) An irredundant cover (that is, one for which no proper subset is also a cover) is extracted from the expanded implicants. The method is essentially the same as the Quine-McCluskey prime implicant chart method. This step is called irredundant cover.
Notes:
This writeup on Espresso and the subsequent example are from [Katz94], pp. 89-91.