Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
Skip to main content

A hierarchical test generation methodology for digital circuits

  • Published:
Journal of Electronic Testing Aims and scope Submit manuscript

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Similar content being viewed by others

References

  1. R.G. Bennetts, Design of Testable Logic Circuits, Addison-Wesley, Reading, MA, 1984.

    Google Scholar 

  2. D. Bhattacharya and J.P. Hayes, “High-level test generation using bus faults,” Proc. 15th Fault-Tolerant Comput. Symp., pp. 65–70, June 1985.

  3. D. Bhattacharya and J.P. Hayes, Hierarchical Modeling for VLSI Circuit Testing, Kluwer Academic Publishers, Boston, MA, 1990.

    Google Scholar 

  4. M.A. Breuer and A.D. Friedman, Diagnosis and Reliable Design of Digital Systems, Computer Science Press, Rockville, MD, 1976.

    Google Scholar 

  5. M.A. Breuer and A.D. Friedman, “Functional level primitives in test generation,” IEEE Trans. Computers C-29 (3):223–235, 1980.

    Google Scholar 

  6. 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.

  7. 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.

  8. A.D. Friedman, “Easily testable iterative systems,” IEEE Trans. Computers C-22 (12): 1061–1064, 1973.

    Google Scholar 

  9. P. Goel, “An implicit enumeration algorithm to generate tests for combinational logic circuits,” IEEE Trans. Computers C-30 (3): 215–222, 1981.

    Google Scholar 

  10. J.P. Hayes, “A calculus for testing complex digital systems,” Proc. 10th Fault-Tolerant Comput. Symp., pp. 115–120, October 1980.

  11. S.C. Lee, “Vector boolean algebra and calculus,” IEEE Trans. Computers C-25 (9): 865–874, 1976.

    Google Scholar 

  12. Y.H. Levendel and P.R. Menon, “Test generation algorithms for computer hardware description languages,” IEEE Trans. Computers C-31 (7): 577–587, 1982.

    Google Scholar 

  13. C. Mead and L. Conway, Introduction to VLSI Systems, Addison-Wesley, Reading, MA, 1980.

    Google Scholar 

  14. J.P. Roth, “Diagnosis of automata failures: a calculus and a method,” IBM J. Res. Develop. 10 (10): 278–281, 1966.

    Google Scholar 

  15. 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.

    Google Scholar 

  16. T. Sridhar and J.P. Hayes, “Design of easily testable bit-sliced systems,” IEEE Trans. Computers C-30 (11): 842–854, 1981.

    Google Scholar 

  17. Texas Instruments Inc., The TTL Data Book, vol. 2, Dallas, TX, 1985.

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

  19. Y. You, Self-testing VLSI Circuits, Ph.D. Dissertation, Dept. of Electrical Engineering and Computer Science, The University of Michigan, 1986.

  20. Y. You and J.P. Hayes, “Implementation of VLSI self-testing by regularization,” IEEE Trans. Computer-Aided Design 7, pp. 1261–1271, December 1988.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Rights and permissions

Reprints 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

Download citation

  • Received:

  • Revised:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF00137388

Key words