Arithmetic Additive Generators of Pseudo-Exhaustive Test Patterns

Existing built-in self-test (BIST) strategies require the use of specialized test pattern generation hardware which introduces significant area overhead and performance degradation. In this paper, we propose an entirely new approach to generate test patterns. The method is based on adders widely available in data-path architectures used in digital signal processing circuits and general purpose processors. The resultant test patterns, generated by continuously accumulating a constant value, provide a complete state coverage on subspaces of contiguous bits. This new test generation scheme, along with the recently introduced accumulator-based compaction scheme (Rajski and Tyszer, 1993) facilitates a BIST strategy for high performance datapath architectures that uses the functionality of existing hardware, is entirely integrated with the circuit under test, and results in at-speed testing with no performance degradation and no area overhead.

[1]  J. Mucha,et al.  Built-In Test for Complex Digital Integrated Circuits , 1979, Fifth European Solid State Circuits Conference - ESSCIRC 79.

[2]  Donald T. Tang,et al.  Exhaustive Test Pattern Generation with Constant Weight Vectors , 1983, IEEE Transactions on Computers.

[3]  Spyros Tragoudas,et al.  Cost-effective LFSR synthesis for optimal pseudoexhaustive BIST test sets , 1993, IEEE Trans. Very Large Scale Integr. Syst..

[4]  Chien-In Henry Chen,et al.  Automated synthesis of pseudo-exhaustive test generator in VLSI BIST design , 1994, IEEE Trans. Very Large Scale Integr. Syst..

[5]  Donald T. Tang,et al.  Logic Test Pattern Generation Using Linear Codes , 1984, IEEE Transactions on Computers.

[6]  Edward J. McCluskey,et al.  Linear Feedback Shift Register Design Using Cyclic Codes , 1988, IEEE Trans. Computers.

[7]  Edward J. McCluskey,et al.  Circuits for pseudoexhaustive test pattern generation , 1986, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

[8]  Janusz Rajski,et al.  Accumulator-Based Compaction of Test Responses , 1993, IEEE Trans. Computers.

[9]  Arnold L. Rosenberg,et al.  Exhaustive Generation of Bit Patterns with Applications to VLSI Self-Testing , 1983, IEEE Transactions on Computers.

[10]  Edward J. McCluskey,et al.  Condensed Linear Feedback Shift Register (LFSR) Testing—A Pseudoexhaustive Test Technique , 1986, IEEE Transactions on Computers.

[11]  C. L. Chen Exhaustive Test Pattern Generation Using Cyclic Codes , 1988, IEEE Trans. Computers.

[12]  George Markowsky,et al.  The Weighted Syndrome Sums Approach to VLSI Testing , 1981, IEEE Transactions on Computers.

[13]  Parimal Pal Chaudhuri,et al.  Vector Space Theoretic Analysis of Additive Cellular Automata and Its Application for Pseudoexhaustive Test Pattern Generation , 1993, IEEE Trans. Computers.

[14]  Hans-Joachim Wunderlich,et al.  The pseudoexhaustive test of sequential circuits , 1992, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

[15]  Janusz Rajski,et al.  Recursive Pseudoexhaustive Test Pattern Generation , 1993, IEEE Trans. Computers.

[16]  Fillia Makedon,et al.  A method for pseudo-exhaustive test pattern generation , 1994, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

[17]  S. B. Akers,et al.  On the use of linear sums in exhaustive testing , 1987 .

[18]  Thyagaraju R. Damarla,et al.  Applications of one-dimensional cellular automata and linear feedback shift registers for pseudo-exhaustive testing , 1993, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

[19]  Gadiel Seroussi,et al.  Vector sets for exhaustive testing of logic circuits , 1988, IEEE Trans. Inf. Theory.

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

[21]  Janusz Rajski,et al.  Test Pattern Generation Based On Arithmetic Operations , 1994, IEEE/ACM International Conference on Computer-Aided Design.

[22]  Richard J. Higgins,et al.  Digital signal processing in VLSI , 1990 .

[23]  Edward J. McCluskey,et al.  Design for autonomous test , 1981 .

[24]  Howard C. Card,et al.  Cellular automata-based pseudorandom number generators for built-in self-test , 1989, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

[25]  Edward J. McCluskey Verification Testing - A Pseudoexhaustive Test Technique , 1984, IEEE Trans. Computers.

[26]  Donald Ervin Knuth,et al.  The Art of Computer Programming , 1968 .