Testability analysis and test-point insertion in RTL VHDL specifications for scan-based BIST

This paper proposes a new testability analysis and test-point insertion method at the register transfer level (RTL), assuming a full scan and a pseudorandom built-in self-test design environment. The method is based on analyzing the RTL synchronous specification in synthesizable very high speed integrated circuit hardware descriptive language (VHDL). A VHDL intermediate form representation is first obtained from the VHDL specification and then converted to a directed acyclic graph (DAG) that represents all data dependencies and flow of control in the VHDL specification. Testability measures (TMs) are computed on this graph. The considered TMs are controllability and observability for each bit of each signal/variable that is declared or may be implied in the VHDL specification. Internal signals of functional modules (FMs) such as adders and comparators are also analyzed to compute their controllability and observability values. The internal signals are obtained by decomposing at the RTL large FMs into smaller ones. The calculation of TMs is carried out at a functional level rather than the gate level, to reduce or eliminate errors introduced by ignoring reconvergent fanouts in the gate network, and to reduce the complexity of the DAG construction. Based on the controllability/observability values, test-point insertion is performed to improve the testability for each bit of each signal/variable. This insertion is carried out in the original VHDL specification and thus becomes a part of it unlike in other existing methods. This allows full application of RTL synthesis optimization on both the functional and the test logic concurrently within the designer constraints such as area and delay. A number of benchmark circuits were used to show the applicability and the effectiveness of our method in terms of the resulting testability, area, and delay.

[1]  Daniel G. Saab,et al.  A novel behavioral testability measure , 1993, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

[2]  D. G. Saab,et al.  Structural and behavioral synthesis for testability techniques , 1994, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

[3]  L. H. Goldstein,et al.  Controllability/observability analysis of digital circuits , 1978 .

[4]  Weiwei Mao,et al.  Improving gate level fault coverage by RTL fault grading , 1996, Proceedings International Test Conference 1996. Test and Design Validity.

[5]  James R. Armstrong,et al.  B-algorithm: a behavioral test generation algorithm , 1994, Proceedings., International Test Conference.

[6]  LaNae J. Avra,et al.  ALLOCATION AND ASSIGNMENT IN HIGH-LEVEL SYNTHESIS FOR SELF-TESTABLE DATA PATHS , 1991, 1991, Proceedings. International Test Conference.

[7]  Hugo De Man,et al.  Partial scan at the register-transfer level , 1993, Proceedings of IEEE International Test Conference - (ITC).

[8]  Daniel G. Saab,et al.  Behavioral synthesis for testability , 1992, ICCAD.

[9]  Sujit Dey,et al.  Transformations and resynthesis for testability of RT-level control-data path specifications , 1993, IEEE Trans. Very Large Scale Integr. Syst..

[10]  Sujit Dey,et al.  An RTL methodology to enable low overhead combinational testing , 1997, Proceedings European Design and Test Conference. ED & TC 97.

[11]  Premachandran R. Menon,et al.  An approach to functional level testability analysis , 1989, Proceedings. 'Meeting the Tests of Time'., International Test Conference.

[12]  Miodrag Potkonjak,et al.  Behavioral synthesis of area-efficient testable designs using interaction between hardware sharing and partial scan , 1995, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

[13]  Janusz Rajski,et al.  Constructive multi-phase test point insertion for scan-based BIST , 1996, Proceedings International Test Conference 1996. Test and Design Validity.

[14]  Christos A. Papachristou,et al.  A built-in self-testing approach for minimizing hardware overhead , 1991, [1991 Proceedings] IEEE International Conference on Computer Design: VLSI in Computers and Processors.

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

[16]  Niraj K. Jha,et al.  Genesis: a behavioral synthesis system for hierarchical testability , 1994, Proceedings of European Design and Test Conference EDAC-ETC-EUROASIC.

[17]  Jacob A. Abraham,et al.  AMBIANT: automatic generation of behavioral modifications for testability , 1993, Proceedings of 1993 IEEE International Conference on Computer Design ICCD'93.

[18]  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.

[19]  Christos A. Papachristou,et al.  Test synthesis in the behavioral domain , 1995, Proceedings of 1995 IEEE International Test Conference (ITC).

[20]  Jacob Savir,et al.  Built In Test for VLSI: Pseudorandom Techniques , 1987 .

[21]  Niraj K. Jha,et al.  Behavioral Synthesis of Highly Testable Data Paths under the Non-Scan and Partial Scan Environments , 1993, 30th ACM/IEEE Design Automation Conference.

[22]  Y. Savaria,et al.  Methodology for efficiently inserting and condensing test points (CMOS ICs testing) , 1993 .

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

[24]  Miodrag Potkonjak,et al.  Transforming behavioral specifications to facilitate synthesis of testable designs , 1994, Proceedings., International Test Conference.

[25]  Sujit Dey,et al.  High-level synthesis for testability: a survey and perspective , 1996, DAC '96.

[26]  Krzysztof Kuchcinski,et al.  Testability analysis and improvement from VHDL behavioral specifications , 1994, EURO-DAC '94.

[27]  Janak H. Patel,et al.  Addressing design for testability at the architectural level , 1994, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

[28]  Jacob A. Abraham,et al.  Impact of behavioral modifications for testability , 1994, Proceedings of IEEE VLSI Test Symposium.

[29]  Christos A. Papachristou,et al.  Structural BIST insertion using behavioral test analysis , 1997, Proceedings European Design and Test Conference. ED & TC 97.

[30]  Niraj K. Jha,et al.  A design for testability technique for RTL circuits using control/data flow extraction , 1996, Proceedings of International Conference on Computer Aided Design.

[31]  Jacob A. Abraham,et al.  Automatic test knowledge extraction from VHDL (ATKET) , 1992, [1992] Proceedings 29th ACM/IEEE Design Automation Conference.