Sequential circuit ATPG using combinational algorithms

In this paper, we introduce two design-for-testability (DFT) techniques based on clock partitioning and clock freezing to ease the test generation process for sequential circuits. In the first DFT technique, a circuit is mapped into overlapping pipelines by selectively freezing different sets of registers so that all feedback loops are temporarily cut. An opportunistic algorithm takes advantage of the pipeline structures and detects most faults using combinational techniques. This technique is feasible to circuits with no or only a few self-loops. In the second DFT technique, we use selective clock freezing to temporarily cut only the global feedback loops. The resulting circuit, called a loopy pipe, may have any number of self-loops. We present a new clocking technique that generates clock waves to test the loopy pipe. Another opportunistic algorithm is proposed for test generation for the loopy pipe. Experimental results show that the fault coverage obtained is significantly higher and test generation time is one order of magnitude shorter for many circuits compared to conventional sequential circuit test generators. The DFT techniques do not introduce any delay penalty into the data path, have small area overhead, allow for at-speed application of tests, and have low power consumption.

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

[2]  Melvin A. Breuer,et al.  Digital systems testing and testable design , 1990 .

[3]  David Bryan,et al.  Combinational profiles of sequential benchmark circuits , 1989, IEEE International Symposium on Circuits and Systems,.

[4]  Sandeep K. Gupta,et al.  Clock Grouping: A Low Cost DFT Methodology for Delay Testing , 1994, 31st Design Automation Conference.

[5]  Michael S. Hsiao,et al.  Peak power estimation of VLSI circuits: new peak power measures , 2000, IEEE Trans. Very Large Scale Integr. Syst..

[6]  Michael S. Hsiao,et al.  Sequential circuit test generation using dynamic state traversal , 1997, Proceedings European Design and Test Conference. ED & TC 97.

[7]  Luca Benini,et al.  Saving power by synthesizing gated clocks for sequential circuits , 1994, IEEE Design & Test of Computers.

[8]  Venkatesh Akella,et al.  Automatic insertion of gated clocks at register transfer level , 1999, Proceedings Twelfth International Conference on VLSI Design. (Cat. No.PR00013).

[9]  Irith Pomeranz,et al.  On improving a fault simulation based test generator for synchronous sequential circuits , 2001, Proceedings 10th Asian Test Symposium.

[10]  Massoud Pedram,et al.  Clock-gating and its application to low power design of sequential circuits , 2000 .

[11]  Kewal K. Saluja,et al.  A Novel Approach to Random Pattern Testing of Sequential Circuits , 1998, IEEE Trans. Computers.

[12]  David E. Long,et al.  Increasing testability by clock transformation (getting rid of those darn states) , 1996, Proceedings of 14th VLSI Test Symposium.

[13]  Michael S. Hsiao,et al.  Application of genetically engineered finite-state-machine sequences to sequential circuit ATPG , 1998, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

[14]  Sanghyeon Baeg,et al.  A cost-effective design for testability: clock line control and test generation using selective clocking , 1999, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

[15]  Robert C. Aitken,et al.  THE EFFECT OF DIFFERENT TEST SETS ON QUALITY LEVEL PREDICTION: WHEN IS 80% BETTER THAN 90%? , 1991, 1991, Proceedings. International Test Conference.

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

[17]  Paolo Prinetto,et al.  GATTO: a genetic algorithm for automatic test pattern generation for large synchronous sequential circuits , 1996, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

[18]  Elizabeth M. Rudnick,et al.  Compact Test Generation Using a Frozen Clock Testing Strategy , 2000, J. Inf. Sci. Eng..

[19]  Janak H. Patel,et al.  A comparative study of design for testability methods using high-level and gate-level descriptions , 1992, ICCAD.

[20]  Ieee Circuits,et al.  IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems information for authors , 2018, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[21]  Vishwani D. Agrawal,et al.  Improving circuit testability by clock control , 1996, Proceedings of the Sixth Great Lakes Symposium on VLSI.

[22]  Irith Pomeranz,et al.  Proptest: a property based test pattern generator for sequential circuits using test compaction , 1999, DAC '99.

[23]  Balakrishnan Krishnamurthy A Dynamic Programming Approach to the Test Point Insertion Problem , 1987, 24th ACM/IEEE Design Automation Conference.

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

[25]  Vishwani D. Agrawal,et al.  Clock partitioning for testability , 1993, [1993] Proceedings Third Great Lakes Symposium on VLSI-Design Automation of High Performance VLSI Systems.

[26]  W.-T. Cheng,et al.  The BACK algorithm for sequential test generation , 1988, Proceedings 1988 IEEE International Conference on Computer Design: VLSI.

[27]  David E. Long,et al.  Identifying sequential redundancies without search , 1996, DAC '96.

[28]  Irith Pomeranz,et al.  Techniques for improving the efficiency of sequential circuit test generation , 1999, 1999 IEEE/ACM International Conference on Computer-Aided Design. Digest of Technical Papers (Cat. No.99CH37051).

[29]  F. C. Hennine Fault detecting experiments for sequential circuits , 1964, SWCT 1964.

[30]  Seh-Woong Jeong,et al.  Synchronizing sequences and symbolic traversal techniques in test generation , 1993, J. Electron. Test..

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

[32]  Elizabeth M. Rudnick,et al.  FreezeFrame: compact test generation using a frozen clock strategy , 1999, Design, Automation and Test in Europe Conference and Exhibition, 1999. Proceedings (Cat. No. PR00078).

[33]  Enrico Macii,et al.  Symbolic optimization of interacting controllers based onredundancy identification and removal , 2000, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

[34]  Vishwani D. Agrawal,et al.  Design for testability and test generation with two clocks , 1991, [1991] Proceedings. Fourth CSI/IEEE International Symposium on VLSI Design.

[35]  Luca Benini,et al.  Automatic synthesis of gated clocks for power reduction in sequential circuits , 1994 .

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

[37]  Janak H. Patel,et al.  PROOFS: a fast, memory efficient sequential circuit fault simulator , 1990, 27th ACM/IEEE Design Automation Conference.

[38]  Elizabeth M. Rudnick,et al.  A genetic algorithm framework for test generation , 1997, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

[39]  Elizabeth M. Rudnick,et al.  An observability enhancement approach for improved testability and at-speed test , 1994, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

[40]  James B. Angell,et al.  Enhancing Testability of Large-Scale Integrated Circuits via Test Points and Additional Logic , 1973, IEEE Transactions on Computers.

[41]  Miron Abramovici,et al.  Sequential ATPG Using Combinational Algorithms , .

[42]  J. R. Fox Test-point Condensation in the Diagnosis of Digital Circuits , 1977 .

[43]  K.-T. Cheng,et al.  A Partial Scan Method for Sequential Circuits with Feedback , 1990, IEEE Trans. Computers.

[44]  Janak H. Patel,et al.  New Techniques for Deterministic Test Pattern Generation , 1999, J. Electron. Test..

[45]  Kewal K. Saluja,et al.  An Efficient Algorithm for Sequential Circuit Test Generation , 1993, IEEE Trans. Computers.

[46]  Thomas W. Williams,et al.  A logic design structure for LSI testability , 1977, DAC '77.

[47]  Vivekanand Chickermane Design and synthesis for testability using architectural descriptions , 1993 .

[48]  Elizabeth M. Rudnick,et al.  Sequential Circuit Test Generation Using a Symbolic/Genetic Hybrid Approach , 2001, J. Electron. Test..

[49]  David E. Long,et al.  FILL and FUNI: algorithms to identify illegal states and sequentially untestable faults , 2000, TODE.

[50]  Alexander Miczo,et al.  The Sequential ATPG: A Theoretical Limit , 1983, International Test Conference.

[51]  Daniel G. Saab,et al.  Automatic test vector cultivation for sequential VLSI circuits using genetic algorithms , 1996, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

[52]  Andrew Bryan Slutter Register Transfer Level Design-for-Testability Methodology for a Frozen Clock Testing Strategy , 2001 .

[53]  Miron Abramovici,et al.  FREEZE: a new approach for testing sequential circuits , 1992, [1992] Proceedings 29th ACM/IEEE Design Automation Conference.

[54]  Yervant Zorian,et al.  A distributed BIST control scheme for complex VLSI devices , 1993, Digest of Papers Eleventh Annual 1993 IEEE VLSI Test Symposium.

[55]  Alberto L. Sangiovanni-Vincentelli,et al.  Test generation for sequential circuits , 1988, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..