DocumentCode
2231723
Title
Espresso-HF: a heuristic hazard-free minimizer for two-level logic
Author
Theobald, Michael ; Nowick, Steven M. ; Wu, Tao
Author_Institution
Dept. of Comput. Sci., Columbia Univ., New York, NY, USA
fYear
1996
fDate
3-7 Jun, 1996
Firstpage
71
Lastpage
76
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
Keywords
asynchronous circuits; circuit optimisation; combinational circuits; heuristic programming; logic CAD; minimisation of switching nets; Espresso-HF; exactly minimum-cost cover; heuristic hazard-free minimizer; heuristic method; multiple-input change transitions; two-level logic; two-level minimization problem; Automatic control; Circuits; Communication system control; Delay; Design automation; Hazards; Logic; Minimization methods; Permission; Wire;
fLanguage
English
Publisher
ieee
Conference_Titel
Design Automation Conference Proceedings 1996, 33rd
Conference_Location
Las Vegas, NV
ISSN
0738-100X
Print_ISBN
0-7803-3294-6
Type
conf
DOI
10.1109/DAC.1996.545549
Filename
545549
Link To Document