Title :
Exact two-level minimization of hazard-free logic with multiple-input changes
Author :
Nowick, S.M. ; Dill, D.L.
Author_Institution :
Comput. Syst. Lab., Stanford Univ., CA, USA
Abstract :
A method for exact hazard-free logic minimization of Boolean functions is described. Given an incompletely specified Boolean function, the method produces a minimal sum-of-products implementation which is hazard-free for a given set of multiple-input changes, if such a solution exists. The method is a constrained version of the Quine-McCluskey algorithm. It has been automated and applied to a number of examples. Results are compared with results of a comparable non-hazard-free method (espresso-exact). Overhead due to hazard elimination is shown to be negligible.<>
Keywords :
Boolean functions; logic design; minimisation of switching nets; Boolean functions; Quine-McCluskey algorithm; exact two-level minimisation; hazard-free logic; minimal sum-of-products implementation; multiple-input changes; Boolean functions; Logic design; Minimization methods;
Conference_Titel :
Computer-Aided Design, 1992. ICCAD-92. Digest of Technical Papers., 1992 IEEE/ACM International Conference on
Conference_Location :
Santa Clara, CA, USA
Print_ISBN :
0-8186-3010-8
DOI :
10.1109/ICCAD.1992.279301
