Publication | Closed Access
Topological conditions for single-branch-fault
16
Citations
3
References
1983
Year
Testability ConditionEngineeringAnalog DesignVerificationAnalog NetworkAnalog VerificationTopological ConditionsFormal VerificationReliability EngineeringFault AnalysisSystems EngineeringTopological DynamicComputer EngineeringBuilt-in Self-testDesign For TestingTopological InvariantSoftware TestingFormal MethodsFault InjectionSingle Branch-fault
The testability condition for single branch-fault of an analog network is given. Then several necessary and sufficient conditions for this testability condition are provided and their proofs are shown in detail. These conditions have great applications in the testability design as demonstrated in the examples.
| Year | Citations | |
|---|---|---|
Page 1
Page 1