IEEE Transactions on Computers · 1968 · 201 citations · 3 references
EngineeringComputer EngineeringComputer ScienceFault ToleranceFault-tolerant ComputingLogicBoolean AlgebraBoolean OperationsDesign For TestabilityDigital Logic DesignError DetectionFault DiagnosisBoolean Circuit EvaluationBoolean DifferenceBoolean Function RepresentationBoolean FunctionsDiagnostic Test GenerationDigital Logic CircuitsRedundant Logic DesignRedundant Logic Detection
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.
3