Author :
Sellers, Frederick F., Jr. ; Hsiao, M.Y. ; Bearnson, L.W.
Abstract :
Abstract—The Boolean difference is defined. It is shown through example how the Boolean difference is used to analyze the effect of errors on the outputs of logic circuits. Examples are given of error detection problems, analysis of redundant logic, and the generation of diagnostic sequences.
Keywords :
Index terms—Boolean algebra, Boolean difference, diagnostic program, error analysis, error correction, error detection, logic analysis, logic design.; Boolean functions; Computer errors; Error analysis; Error correction; Hazards; Integer linear programming; Logic circuits; Logic design; Logic functions; Logic programming; Index terms—Boolean algebra, Boolean difference, diagnostic program, error analysis, error correction, error detection, logic analysis, logic design.;
