Publication | Closed Access
Universal Test Sets for Logic Networks
66
Citations
6
References
1973
Year
Applied LogicUniversal Test SetsEngineeringVerificationFormal VerificationLogic ProgrammingComputational LogicReliability EngineeringSystems EngineeringAsynchronous CircuitsSwitching FunctionSystem TestingComputer EngineeringBuilt-in Self-testComputer ScienceDesign For TestingIncomplete FunctionsAutomated ReasoningProgram AnalysisSoftware TestingFormal MethodsCombinatorial Testing WorkflowFault Injection
This paper examines the problem of finding a single universal test set that will test any of a variety of different implementations of a given switching function. It is shown that, for AND/OR networks, universal test sets may be found that detect not only all single faults but all multiple faults as well. The minimality and size of these sets are examined and their derivation for incomplete functions is described.
| Year | Citations | |
|---|---|---|
Page 1
Page 1