Less expensive test pattern generation technique

A new source of computational saving for test pattern generation (i.e. information reusing) is presented. Combined with a fault simulator based on the critical path tracing method, the proposed technique can make full use of the test pattern information generated from last pattern to derive a set of new tests by means of critical path transitions. Based on this technique, fault propagation procedure is no longer required in the subsequent pattern generation process. The technique also leads to a simplified line justification procedure. Sufficient conditions for critical path transitions are given to guarantee the effectiveness of the newly derived tests and the correctness of such transitions. Experiments using the ISCAS-85 benchmark circuits show that, when the technique is used with a deterministic test pattern generation algorithm (DTPG), computational cost is greatly reduced without a substantial increase in test length.

[1]  P. R. Menon,et al.  Critical Path Tracing: An Alternative to Fault Simulation , 1984, IEEE Des. Test.

[2]  Michael H. Schulz,et al.  SOCRATES: a highly efficient automatic test pattern generation system , 1988, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

[3]  Michael H. Schulz,et al.  DYNAMITE: an efficient automatic test pattern generation system for path delay faults , 1991, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

[4]  A. D. Brown,et al.  Logic testing and design for testability: Hideo Fujiwara, MIT Press, 284 pp, £34.95 , 1986 .

[5]  Dong Sam Ha,et al.  AN EFFICIENT, FORWARD FAULT SIMULATION ALGORITHM BASED ON THE PARALLEL PATTERN SINGLE FAULT PROPAGAT , 1991, 1991, Proceedings. International Test Conference.

[6]  Mohamed Mahdy Al-Deeb,et al.  A new fault independent test generation algorithm for combinational logic circuits , 1992 .

[7]  J. Paul Roth,et al.  Diagnosis of automata failures: a calculus and a method , 1966 .

[8]  Tracy Larrabee,et al.  Test pattern generation using Boolean satisfiability , 1992, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

[9]  Hideo Fujiwara,et al.  On the Acceleration of Test Generation Algorithms , 1983, IEEE Transactions on Computers.

[10]  M. Abramovici,et al.  SMART And FAST: Test Generation for VLSI Scan-Design Circuits , 1986, IEEE Design & Test of Computers.

[11]  Prabhakar Goel,et al.  An Implicit Enumeration Algorithm to Generate Tests for Combinational Logic Circuits , 1981, IEEE Transactions on Computers.