Gate Logic: CAD Tools for Simplification

Espresso: Why Iterate on Reduce, Irredundant Cover, Expand?

Initial Set of Primes found by

Steps1 and 2 of the Espresso

Method

4 primes, irredundant cover,

but not a minimal cover!

Result of REDUCE:

Shrink primes while still

covering the ON-set

Choice of order in which

to perform shrink is important

Previous slide

Next slide

Back to first slide

View graphic version