Test vector generation for parametric path delay faults

Previous research in the field of path delay fault test generation has concentrated on finding tests which test paths regardless of component delay values. Coverage of such tests on benchmark circuits has been shown to be poor so we present a mechanism wherein path delay fault tests are found under the assumption of component delay variations resulting from fabrication process fluctuations. Component delay fault models are built which incorporate fabrication process effects represented in terms of basic process parameter variations. We use a sensitization approach based on signal stabilizing times to get conditions on primary inputs and path delays for which a delay fault is produced at the circuit outputs. A minimal test set is then extracted from these conditions. Results for the ISCAS'89 and Logic synthesis'91 benchmark circuits indicate the feasibility of this approach.

[1]  Kwang-Ting Cheng,et al.  Delay testing for non-robust untestable circuits , 1993, Proceedings of IEEE International Test Conference - (ITC).

[2]  Robert K. Brayton,et al.  Delay Fault Coverage and Performance Tradeoffs , 1993, 30th ACM/IEEE Design Automation Conference.

[3]  Barry K. Rosen,et al.  Delay test generation. II. Algebra and algorithms , 1988, International Test Conference 1988 Proceeding@m_New Frontiers in Testing.

[4]  Premachandran R. Menon,et al.  Synthesis of Delay-Verifiable Combinational Circuits , 1995, IEEE Trans. Computers.

[5]  Michael D. Ciletti,et al.  A Simplified Six-Waveform Type Method for Delay Fault Testing , 1989, 26th ACM/IEEE Design Automation Conference.

[6]  S. M. Reddy,et al.  On the design of path delay fault testable combinational circuits , 1990, [1990] Digest of Papers. Fault-Tolerant Computing: 20th International Symposium.

[7]  Sudhakar M. Reddy,et al.  On the fault coverage of delay fault detecting tests , 1990, Proceedings of the European Design Automation Conference, 1990., EDAC..

[8]  T. I. Kirkpatrick,et al.  PERT as an aid to logic design , 1966 .

[9]  Prathima Agrawal,et al.  Delay fault test generation for scan/hold circuits using Boolean expressions , 1992, [1992] Proceedings 29th ACM/IEEE Design Automation Conference.

[10]  Randal E. Bryant,et al.  Efficient implementation of a BDD package , 1991, DAC '90.

[11]  Sudhakar M. Reddy,et al.  On Delay Fault Testing in Logic Circuits , 1987, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[12]  Sharad Malik,et al.  Certified timing verification and the transition delay of a logic circuit , 1992, [1992] Proceedings 29th ACM/IEEE Design Automation Conference.

[13]  Andrzej J. Strojwas,et al.  Towards incorporating device parameter variations in timing analysis , 1994, Proceedings of European Design and Test Conference EDAC-ETC-EUROASIC.

[14]  Barry K. Rosen,et al.  Delay test generation. I. Concepts and coverage metrics , 1988, International Test Conference 1988 Proceeding@m_New Frontiers in Testing.

[15]  John A. Waicukauski,et al.  On computing the sizes of detected delay faults , 1990, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

[16]  Hugo De Man,et al.  Timing verification using statically sensitizable paths , 1990, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..