EngineeringMem TestingVerificationPrimitive FaultFormal VerificationHardware SecurityReliability EngineeringFault AnalysisSystems EngineeringAsynchronous CircuitsTest GenerationElectrical EngineeringComputer EngineeringBuilt-in Self-testComputer ScienceDesign For TestingProgram AnalysisSoftware TestingFormal MethodsCircuit ReliabilityTest Generation EffortFault Injection
The paper presents a method of identifying primitive path delay faults in combinational circuits, and deriving robust tests for all robustly testable primitive faults. It uses the concept of sensitizing cubes to reduce the search space. This approach helps identify faults that cannot be part of any primitive fault, and avoids attempting test generation for them. Sensitization conditions determined for primitive fault identification are also used in test generation, reducing test generation effort. Experimental results on some of the ISCAS'85 and MCNC'91 benchmark circuits indicate that they contain a fair number of primitive multiple path delay faults which must be tested.
19
SIS : A System for Sequential Circuit Synthesis
Ellen Sentovich · 1992 · 1.9K citations
Delay testing for non-robust untestable circuits
Kwang‐Ting Cheng, H.-C. Chen · 2002 · 157 citations