Publication | Closed Access
Selection of potentially testable path delay faults for test generation
83
Citations
17
References
2002
Year
Unknown Venue
EngineeringHardware Verification LanguageVerificationComputer ArchitectureTest Data GenerationPath Delay FaultsSoftware AnalysisFormal VerificationHardware SecurityReliability EngineeringSystems EngineeringTest GenerationSystem TestingComputer EngineeringBuilt-in Self-testComputer ScienceLogic CircuitsDesign For TestingProgram AnalysisSoftware TestingFormal MethodsCombinatorial Testing WorkflowFault Injection
We present a method of path selection and test generation for path delay faults. The proposed method addresses the fact that logic circuits typically have very large numbers of paths, and a large percentage of these paths are typically untestable. The proposed method selects a set of potentially testable long paths by utilizing non-enumerative identification of untestable paths and removing untestable paths from consideration. Test generation is also applied as part of the proposed method. We demonstrate the effectiveness of the method by presenting results for benchmark circuits.
| Year | Citations | |
|---|---|---|
Page 1
Page 1