Publication | Closed Access
Analyzing Errors with the Boolean Difference
200
Citations
3
References
1968
Year
Circuit ComplexityProgram CheckingEngineeringBoolean FunctionVerificationSoftware AnalysisHardware SystemsFormal VerificationAbstract—the Boolean DifferenceError CorrectionFuzzy LogicComputer EngineeringLogic DevicesComputer ScienceLogic CircuitsLogic SynthesisProgram AnalysisAutomated ReasoningSoftware TestingFormal MethodsBoolean Difference
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.
| Year | Citations | |
|---|---|---|
Page 1
Page 1