EXACT 2-LEVEL MINIMIZATION OF HAZARD-FREE LOGIC WITH MULTIPLE-INPUT CHANGES

被引:34
作者
NOWICK, SM [1 ]
DILL, DL [1 ]
机构
[1] STANFORD UNIV,DEPT COMP SCI,STANFORD,CA 94305
关键词
D O I
10.1109/43.402498
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
This paper describes a new method for exact hazard-free logic minimization of Boolean functions, Given an incompletely-specified Boolean function, the method produces a minimum-cost 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 [33]). Overhead due to hazard elimination is shown to be negligible.
引用
收藏
页码:986 / 997
页数:12
相关论文
共 38 条
[1]  
AKELLA V, 1992, NOV INT C COMP AID D, P587
[2]  
BEEREL P, 1992, NOV P ICAAD 92, P581
[3]   UNIFIED APPROACH TO COMBINATIONAL HAZARDS [J].
BEISTER, J .
IEEE TRANSACTIONS ON COMPUTERS, 1974, C 23 (06) :566-575
[4]  
BRAYTON R, 1984, LOGIC MINIMIZATION A
[5]   ELIMINATION OF STATIC AND DYNAMIC HAZARDS FOR MULTIPLE INPUT CHANGES IN COMBINATIONAL SWITCHING CIRCUITS [J].
BREDESON, JG ;
HULINA, PT .
INFORMATION AND CONTROL, 1972, 20 (02) :114-&
[6]   SYNTHESIS OF MULTIPLE INPUT-CHANGE HAZARD-FREE COMBINATIONAL SWITCHING CIRCUITS WITHOUT FEEDBACK [J].
BREDESON, JG .
INTERNATIONAL JOURNAL OF ELECTRONICS, 1975, 39 (06) :615-624
[7]  
BURNS SM, 1987, THESIS CALTECH DEP C
[8]  
CHU TA, 1987, THESIS MIT DEP EL EN
[9]  
COATES B, 1994, DESIGN TEST, V11, P8