Addressing design for testability at the architectural level

The increasing use of hardware description languages (HDL's) in VLSI design and the emergence of high-level test generation programs has led to an interesting problem. There is a need for design for testability (DFT) techniques that can be applied early in the design phase to improve the effectiveness of ATPG programs on hard-to-test circuits. By an early identification of hard-to-test areas of a circuit, testability can be inserted prior to logic synthesis. In this paper, we first present a comparative study of a gate-level test generator and a high-level test generator by benchmarking them on a common suite of circuits. Based on an evaluation of the results, we propose techniques to automatically extract information from the high-level circuit description that could improve the performance of both ATPG tools. An automatic DFT tool that utilizes VHDL descriptions of the circuit to make an intelligent selection of flip-flops for partial scan is then described. Results on six hard-to-test circuits show that very high fault coverages can be obtained by both a gate-level and a high-level test generator on these circuits after scan. With this detailed study we demonstrate that a DFT tool can make a more efficient and effective selection of partial scan flip-flops by exploiting the high-level circuit information. It can accurately predict the hard-to-test areas of a circuit. Significant improvements in fault coverage and ATPG efficiency, and speedups in ATPG time, can be obtained by a gate-level and a high-level test generator after high-level scan selection. >

[1]  Alberto L. Sangiovanni-Vincentelli,et al.  An incomplete scan design approach to test generation for sequential machines , 1988, International Test Conference 1988 Proceeding@m_New Frontiers in Testing.

[2]  Janak H. Patel,et al.  A signal-driven discrete relaxation technique for architectural level test generation , 1991, 1991 IEEE International Conference on Computer-Aided Design Digest of Technical Papers.

[3]  Magdy Abadir,et al.  A Knowledge-Based System for Designing Testable VLSI Chips , 1985, IEEE Design & Test of Computers.

[4]  Janak H. Patel,et al.  An instruction sequence assembling methodology for testing microprocessors , 1992, Proceedings International Test Conference 1992.

[5]  Vishwani D. Agrawal,et al.  An economical scan design for sequential logic test generation , 1989, [1989] The Nineteenth International Symposium on Fault-Tolerant Computing. Digest of Papers.

[6]  Melvin A. Breuer,et al.  BALLAST: a methodology for partial scan design , 1989, [1989] The Nineteenth International Symposium on Fault-Tolerant Computing. Digest of Papers.

[7]  Régis Leveugle,et al.  Hierarchical Test Generation Based on Delayed Propagation , 1991, 1991, Proceedings. International Test Conference.

[8]  Janak H. Patel,et al.  Design for Testability Using Architectural Descriptions , 1992, Proceedings International Test Conference 1992.

[9]  Janak H. Patel,et al.  A Hierarchical Approach to Test Vector Generation , 1987, 24th ACM/IEEE Design Automation Conference.

[10]  Janak H. Patel,et al.  A fault oriented partial scan design approach , 1991, 1991 IEEE International Conference on Computer-Aided Design Digest of Technical Papers.

[11]  John P. Hayes,et al.  A hierarchical test generation methodology for digital circuits , 1990, J. Electron. Test..

[12]  John P. Hayes,et al.  Hierarchical test generation using precomputed testsd for modules , 1988, International Test Conference 1988 Proceeding@m_New Frontiers in Testing.

[13]  Michael H. Schulz,et al.  Hierarchical test pattern generation based on high-level primitives , 1989, Proceedings. 'Meeting the Tests of Time'., International Test Conference.

[14]  John P. Hayes,et al.  Hierarchical test generation using precomputed tests for modules , 1990, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

[15]  Franc Brglez,et al.  A framework and method for hierarchical test generation , 1989, Proceedings. 'Meeting the Tests of Time'., International Test Conference.

[16]  Kaushik Roy,et al.  High level test generation using data flow descriptions , 1990, Proceedings of the European Design Automation Conference, 1990., EDAC..

[17]  Janak H. Patel,et al.  An optimization based approach to the partial scan design problem , 1990, Proceedings. International Test Conference 1990.

[18]  Janak H. Patel,et al.  HITEC: a test generation package for sequential circuits , 1991, Proceedings of the European Conference on Design Automation..

[19]  Premachandran R. Menon,et al.  Symbolic test generation for hierarchically modeled digital systems , 1989, Proceedings. 'Meeting the Tests of Time'., International Test Conference.