Logic optimization: Difference between revisions

Revision as of 02:53, 31 May 2022

Revision as of 03:02, 31 May 2022

Line 53:

* [[Petrick's method]]

=== EspressoHeuristic heuristic logic minimizermethods ===

{{Excerpt|Espresso heuristic logic minimizer|ESPRESSO algorithm}}

A [[heuristic]] method uses established rules that solve a practical useful subset of the much larger possible set of problems. The heuristic method may not produce the theoretically optimum solution, but if useful, will provide most of the optimization desired with a minimum of effort. An example of a computer system that uses heuristic methods for logic optimization is the [[Espresso heuristic logic minimizer]].

===Two-level versus multi-level representations===