Description
- Two-level logic minimizer based on ternary trees (tries)
- Suitable for logic functions with many product terms (up to millions)
- Exploits techniques similar to the Espresso minimizer
- Yields a prime partially irredundant cover
- Supports incompletely specified functions
- Uses PLA as input and output formats