Proceedings of the 33rd Annual Conference on Design Automation Conference - DAC '96 1996
DOI: 10.1145/240518.240533
|View full text |Cite
|
Sign up to set email alerts
|

Espresso-HF

Abstract: We present a new heuristic algorithm for hazard-free minimization of two-level logic. On nearly all examples, the algorithm finds an exactly minimum-cost cover. It also solves several problems which have not been previously solved using existing exact minimizers. We believe this is the first heuristic method based on Espresso to solve the general hazard-free two-level minimization problem, for multiple-input change transitions.

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1

Citation Types

0
1
0

Year Published

2004
2004
2024
2024

Publication Types

Select...
3
2

Relationship

0
5

Authors

Journals

citations
Cited by 15 publications
(1 citation statement)
references
References 15 publications
0
1
0
Order By: Relevance
“…Network operators should consider this trade-off when choosing which method to use. In [18] the authors suggest SDN rule compression by following the concept of longest prefix matching with priorities using the Espresso [19] heuristic and show that their algorithm leads to 17% savings only. We succeed in reaching better compression ratios using MINNIE.…”
Section: Related Workmentioning
confidence: 99%
“…Network operators should consider this trade-off when choosing which method to use. In [18] the authors suggest SDN rule compression by following the concept of longest prefix matching with priorities using the Espresso [19] heuristic and show that their algorithm leads to 17% savings only. We succeed in reaching better compression ratios using MINNIE.…”
Section: Related Workmentioning
confidence: 99%