Skip to main content
Log in

A complete critical path algorithm for test generation of combinational circuits

  • Regular Papers
  • Published:
Journal of Computer Science and Technology Aims and scope Submit manuscript

Abstract

It is known that critical path test generation method is not a complete algorithm for combinational circuits with reconvergent-fanout. In order to make it a complete algorithm, we put forward a reconvergent-fanout-oriented technique, the principal critical path algorithm, propagating the critical value back to primary inputs along a single path, the principal critical path, and allowing multiple path sensitization if needed. Relationship among test patterns is also discussed to accelerate test generation.

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

Access this article

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. F. F. Sellerset al., Analyzing errors with the Boolean difference.IEEE Trans. Computers,C-17: 7 (1968), 676–683.

    Article  MATH  Google Scholar 

  2. J. P. Roth, Diagnosis of automata failures: a calculus and method.IBM J. Res. Dev.,10: 4 (1966), 278–291.

    Article  MATH  Google Scholar 

  3. J. P. Roth, Computer Logic, Testing and Verification. Computer Science Press, 1980.

  4. C. W. Chaet al., 9-V algorithm for test pattern generation of combinational digital circuits.IEEE Trans. Computers,C-27: 3 (1978), 193–200.

    Article  Google Scholar 

  5. Wei Daozheng, Test pattern generation for large combinational circuits.Chinese Journal of Computers,1: 2 (1978), 93–98.

    Google Scholar 

  6. Wei Daozheng, An algorithm for generating test patterns for functional level digital circuits—The principal path sensitization method.Chinese Journal of Computers,5: 2 (1982), 125–139.

    Google Scholar 

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

    Article  MATH  MathSciNet  Google Scholar 

  8. P. Goel, PODEM-X, An Automatic Test Generation System for VLSI Logic Structures. Proc. 18th D.A. Conf, Jun. 1981, 260–268.

  9. H. Fujiwaraet al., On the acceleration of test generation algorithm,IEEE Trans. Computers. C-32: 12 (1983), 1137–1144.

    Article  MathSciNet  Google Scholar 

  10. J. J. Thomas, Automated Diagnostic Test Programs for Digital Networks, Computer Design, Aug, 1971, 63–67.

  11. M. A. Breueret al., Diagnosis and Reliable Design of Digital System, Computer Science Press, 1976, Chapter 2.

  12. M. Abramoviciet al., Critical path tracing: An alternative to fault simulation.IEEE Design & Test of Computers,1: 3 (1984), 83–93.

    Article  Google Scholar 

  13. M. Abramoviciet al., Critical Path Tracing: An Alternative to Fault Simulation Proc. 20th D. A. Conf., 1983, 214–220.

  14. Lin Xiangdong, An improvement of critical path methodChinese Journal of Computer,7: 1 (1984), 90–97.

    Google Scholar 

  15. Y. Levendalet al., The *-Algorithm: Critical Traces for Functions and CHDL Construct. Proc. 13th FTCS, Jun. 1983, 90–97.

  16. D. T. Wang, An algorithm for generation of test sets for combinational logic networks.IEEE Trans.Computers, C-24: 7 (1975), 742–746.

    Article  MATH  Google Scholar 

  17. D. T. Wang, Properties of faults and criticalities of values under tests for combinational networks.IEEE Trans. Computers, C-24: 7 (1975), 746–750.

    Article  MATH  Google Scholar 

  18. M. Abramoviciet al., SMART and FAST: Test generation for VLSI scan-design circuits.IEEE Design & Test of Computers. Aug. 1986 43–54.

  19. P. R. Schneider, On the necessity to examineD Chains in diagnostic test generation—An example.IBM J. Res. Dev.,11: 1 (1967), 114.

    Google Scholar 

  20. S. E. Butner, An Automatic Test Pattern Generation: A Modular Approach. Proc. 3rd Annual International Phoenix Conference on Computers and Communications, 1984, 213–240.

Download references

Author information

Authors and Affiliations

Authors

Rights and permissions

Reprints and permissions

About this article

Cite this article

Zhou, Q., Wei, D. A complete critical path algorithm for test generation of combinational circuits. J. of Compt. Sci. & Technol. 6, 74–82 (1991). https://doi.org/10.1007/BF02943410

Download citation

  • Received:

  • Issue Date:

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

Keywords

Navigation