A New Design-for-Testability Method Based on Thru-Testability

Partial scan and non-scan techniques allow test generation of high fault coverage for sequential circuits with less area overhead and less performance degradation than full scan technique. In most of these techniques, extra logic (e.g. a multiplexer introduced by partial scan) is added to permit a data transfer from a flip-flop (or input) to another flip-flop (or output). Such additional logic function is called thru function in this paper, which plays an essential role in enhancing the testability of a circuit. In this paper, we introduce a design-for-testability (DFT) technique which modifies a given sequential circuit to a thru-testable sequential circuit with acyclic test generation complexity by adding new thru functions based on the information of thru functions that may exist in the original design and the dependency among these thru functions. Thus, thru functions of a given sequential circuit should first be extracted from its high-level description. If there is a thru function that transfers data from a flip-flop to another flip-flop, the latter is exempted from being considered in DFT insertion. This reduces the additional logic to be added. Using ITC’99 benchmark circuits, we show that the proposed DFT method takes up less area overhead compared to the previous scan methods in testing the difficult-to-test circuits like b07, b08 and b15. Besides, the test application time is shorter than that of previous scan methods while the test data volume is less too in difficult-to-test circuits.

[1]  Charles R. Kime,et al.  Partial scan flip-flop selection by use of empirical testability , 1995, J. Electron. Test..

[2]  Irith Pomeranz,et al.  Autoscan: a scan design without external scan inputs or outputs , 2005, IEEE Transactions on Very Large Scale Integration (VLSI) Systems.

[3]  Vishwani D. Agrawal,et al.  Test function embedding algorithms with application to interconnected finite state machines , 1993, Proceedings of EURO-DAC 93 and EURO-VHDL 93- European Design Automation Conference.

[4]  Malgorzata Marek-Sadowska,et al.  Cost-free scan: a low-overhead scan path design methodology , 1998, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

[5]  Sujit Dey,et al.  H-SCAN+: a practical low-overhead RTL design-for-testability technique for industrial designs , 1997, Proceedings International Test Conference 1997.

[6]  Vishwani D. Agrawal,et al.  An exact algorithm for selecting partial scan flip-flops , 1995, J. Electron. Test..

[7]  Vishwani D. Agrawal,et al.  Finite state machine synthesis with embedded test function , 1990 .

[8]  Vishwani D. Agrawal,et al.  Combinational automatic test pattern generation for acyclic sequential circuits , 2005, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[9]  Edward J. McCluskey,et al.  Orthogonal scan: low overhead scan for data paths , 1996, Proceedings International Test Conference 1996. Test and Design Validity.

[10]  S.M. Reddy,et al.  On determining scan flip-flops in partial-scan designs , 1990, 1990 IEEE International Conference on Computer-Aided Design. Digest of Technical Papers.

[11]  Vishwani D. Agrawal,et al.  A partition and resynthesis approach to testable design of large circuits , 1995, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

[12]  Chia Yee Ooi,et al.  A Nonscan Design-for-Testability Method for Register-Transfer-Level Circuits to Guarantee Linear-Depth Time Expansion Models , 2008, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

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

[14]  Sujit Dey,et al.  H-SCAN: A high level alternative to full-scan testing with reduced area and test application overheads , 1996, Proceedings of 14th VLSI Test Symposium.

[15]  S. Freeman Test generation for data-path logic: the F-path method , 1988 .

[16]  Daniel D. Gajski,et al.  Assignment Decision Diagram for High-Level Synthesis , 1992 .

[17]  Chia Yee Ooi,et al.  A New Class of Sequential Circuits with Acyclic Test Generation Complexity , 2006, 2006 International Conference on Computer Design.

[18]  Melvin A. Breuer,et al.  The BALLAST Methodology for Structured Partial Scan Design , 1990, IEEE Trans. Computers.