Abstract
A new hierarchical modeling and test generation technique for digital circuits is presented. First, a high-level circuit model and a bus fault model are introduced—these generalize the classical gate-level circuit model and the single-stuck-line (SSL) fault model. Faults are represented by vectors allowing many faults to be implicitly tested in parallel. This is illustrated in detail for the special case of array circuits using a new high-level representation, called the modified pseudo-sequential model, which allows simultaneous test generation for faults on individual lines of a multiline bus. A test generation algorithm called VPODEM is then developed to generate tests for bus faults in high-level models of arbitrary combinational circuits. VPODEM reduces to standard PODEM if gate-level circuit and fault models are used. This method can be used to generate tests for general circuits in a hierarchical fashion, with both high- and low-level fault types, yielding 100 percent SSL fault coverage with significantly fewer test patterns and less test generation effort than conventional one-level approaches. Experimental results are presented for representative circuits to compare VPODEM to standard PODEM and to random test generation techniques, demonstrating the advantages of the proposed hierarchical approach.
Similar content being viewed by others
References
R.G. Bennetts, Design of Testable Logic Circuits, Addison-Wesley, Reading, MA, 1984.
D. Bhattacharya and J.P. Hayes, “High-level test generation using bus faults,” Proc. 15th Fault-Tolerant Comput. Symp., pp. 65–70, June 1985.
D. Bhattacharya and J.P. Hayes, Hierarchical Modeling for VLSI Circuit Testing, Kluwer Academic Publishers, Boston, MA, 1990.
M.A. Breuer and A.D. Friedman, Diagnosis and Reliable Design of Digital Systems, Computer Science Press, Rockville, MD, 1976.
M.A. Breuer and A.D. Friedman, “Functional level primitives in test generation,” IEEE Trans. Computers C-29 (3):223–235, 1980.
F. Brglez and H. Fujiwara, “A neutral netlist of 10 combinational benchmark circuits and a target translator in Fortran,” Proc. IEEE Intern. Symp. on Circuits and Systems, pp. 663–698, Kyoto, June 1985.
W.-T. Cheng and J.H. Patel, “Testing in two-dimensional iterative logic arrays,” Proc. 16th Fault-Tolerant Comput. Symp., Vienna, pp. 76–83, July 1986.
A.D. Friedman, “Easily testable iterative systems,” IEEE Trans. Computers C-22 (12): 1061–1064, 1973.
P. Goel, “An implicit enumeration algorithm to generate tests for combinational logic circuits,” IEEE Trans. Computers C-30 (3): 215–222, 1981.
J.P. Hayes, “A calculus for testing complex digital systems,” Proc. 10th Fault-Tolerant Comput. Symp., pp. 115–120, October 1980.
S.C. Lee, “Vector boolean algebra and calculus,” IEEE Trans. Computers C-25 (9): 865–874, 1976.
Y.H. Levendel and P.R. Menon, “Test generation algorithms for computer hardware description languages,” IEEE Trans. Computers C-31 (7): 577–587, 1982.
C. Mead and L. Conway, Introduction to VLSI Systems, Addison-Wesley, Reading, MA, 1980.
J.P. Roth, “Diagnosis of automata failures: a calculus and a method,” IBM J. Res. Develop. 10 (10): 278–281, 1966.
F. Somenzi, S. Gai, M. Mezzalama, and P. Prinetto, “Testing strategy and technique for macro-based circuits,” IEEE Trans. Computers C-34 (1): 85–89, 1985.
T. Sridhar and J.P. Hayes, “Design of easily testable bit-sliced systems,” IEEE Trans. Computers C-30 (11): 842–854, 1981.
Texas Instruments Inc., The TTL Data Book, vol. 2, Dallas, TX, 1985.
S.M. Thatte and J.A. Abraham, “A methodology for functional level testing of microprocessors,” Proc. 8th Fault-Tolerant Comput. Symp., pp. 90–95, June 1978.
Y. You, Self-testing VLSI Circuits, Ph.D. Dissertation, Dept. of Electrical Engineering and Computer Science, The University of Michigan, 1986.
Y. You and J.P. Hayes, “Implementation of VLSI self-testing by regularization,” IEEE Trans. Computer-Aided Design 7, pp. 1261–1271, December 1988.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Bhattacharya, D., Hayes, J.P. A hierarchical test generation methodology for digital circuits. J Electron Test 1, 103–123 (1990). https://doi.org/10.1007/BF00137388
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF00137388