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
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;
Conference_Titel :
Design Automation Conference Proceedings 1996, 33rd
Conference_Location :
Las Vegas, NV
Print_ISBN :
0-7803-3294-6
DOI :
10.1109/DAC.1996.545549
