Publication | Closed Access
COMPACTEST: A METHOD TO GENERATE COMPACT TEST SETS FOR COMBINATIONAL CIRCUITS
260
Citations
21
References
2005
Year
Unknown Venue
Circuit ComplexityEngineeringVerificationFormal VerificationComputational TestingTest Pattern GeneratorsSystems EngineeringDiscrete MathematicsTest BenchSimple Podem ProcedureComputer EngineeringBuilt-in Self-testComputer ScienceDesign For TestingSoftware TestingFault CoverageFormal MethodsCombinatorial Testing WorkflowFault Injection
Heuristics to aid the derivation of small test sets that detect single stuck-at faults in combinational logic circuits are proposed. The heuristics can be added to existing test pattern generators without compromising fault coverage. Experimental results obtained by adding the proposed heuristics to a simple PODEM procedure and applying it to the ISCAS-85 and fully-scanned ISCAS-89 benchmark circuits are presented to substantiate the effectiveness of the proposed heuristics. >
| Year | Citations | |
|---|---|---|
Page 1
Page 1