Advertisement

Journal of Electronic Testing

, Volume 22, Issue 1, pp 23–36 | Cite as

Theorems for Fault Collapsing in Combinational Circuits

  • Audhild Vaaje
Article

Abstract

This paper gives a mathematical approach to fault collapsing based on the stuck-at fault model for combinational circuits. The mathematical structure we work within is a Boolean ring of Boolean functions of several variables. The goal of fault collapsing for a given circuit is to reduce the number of stuck-at faults to be considered in test generation and fault diagnosis. For this purpose we need rules that let us eliminate faults from the considered fault set. In this paper some earlier known rules are proved in the new context, and several new rules are presented and proved. The most important of the new theorems deal with the relationship between stuck-at faults on a fanout stem and the branches. The concept of monotony of Boolean functions appears to be important in most of these new rules.

Keywords

Boolean function combinational circuit fault collapsing monotonic function 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    M. Abramovici, D.T. Miller, and R.K. Roy, “Dynamic Redundancy Identification in Automatic Test Generation,” IEEE Transactions on Computer-Aided Design, vol. 11, no. 3, pp. 404–407, March 1992.CrossRefGoogle Scholar
  2. 2.
    V.D. Agrawal, A.V.S.S. Prasad, and M.V. Atre, “Fault Collapsing via Functional Dominance,” in Proc. International Test Conference, 2003, pp. 274–280.Google Scholar
  3. 3.
    M.E. Amyeen, W.K. Fuchs, I. Pomeranz, and V. Boppana, “Fault Equivalence Identification in Combinational Circuits Using Implication and Evaluation Techniques,” IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol. 22, no. 7, pp. 922–936, July 2003.CrossRefGoogle Scholar
  4. 4.
    G. Birkhoff, and T.C. Bartee. Modern Applied Algebra, Mcgraw-Hill Book Company, 1970.Google Scholar
  5. 5.
    M.L. Bushnell, and V.D. Agrawal. Essentials of Electronic Testing for Digital, Memory & Mixed-Signal VLSI Circuits, Kluwer Academic Publishers group, 2000.Google Scholar
  6. 6.
    J.E. Chen, C.L. Lee, and W.Z. Shen. “Circuit example to demonstrate that fan-out stems of primary inputs must be checkpoints,” Electronic Letters, vol. 25, pp. 1726–1728, 1989.Google Scholar
  7. 7.
    J.E. Chen, C.L. Lee, and W.Z. Shen, “Checkpoints in Irredundant Two-Level Combinational Circuits,” Journal of Electronic Testing: Theory and Applications”, vol. 2, pp. 395–397, 1991.CrossRefGoogle Scholar
  8. 8.
    J.E. Chen, C.L. Lee, W.Z. Shen, and B. Chen, “Fanout Fault Analysis for Digital Logic Circuits,” in Proc. The Fourth Asian Test Symposium, 1995, pp. 33–39.Google Scholar
  9. 9.
    M. Davio, J.-P. Deschamps and A. Thayse, Discrete and Switching Functions, McGraw-Hill International Book Company, 1978.Google Scholar
  10. 10.
    L.L. Dornhoff, and F.E. Hohn, Applied Modern Algebra, MacMillan Publishing Co., 1978.Google Scholar
  11. 11.
    H. Fujiwara, Logic Testing and Design for Testability, MIT Press Series in Computer Systems, The MIT Press, 1985.Google Scholar
  12. 12.
    I. Hartanto, V. Boppana, and W.K. Fuchs, “Diagnostic Fault Equivalence Identification Using Redundancy Information & Structural Analysis,” in Proc. International Test Conference, 1996, pp. 294–302.Google Scholar
  13. 13.
    S.C. Lee, Modern Switching Theory and Digital Design, Prentice-Hall, 1978.Google Scholar
  14. 14.
    A. Lioy, “Looking for Functional Fault Equivalence,” in Proc. International Test Conference, 1991, pp. 858–863.Google Scholar
  15. 15.
    A. Lioy, “Advanced Fault Collapsing,” IEEE Design & Test of Computers, vol. 9, no. 1, pp. 64–71, March 1992.CrossRefGoogle Scholar
  16. 16.
    A. Lioy, “On the Equivalence of Fanout-Point Faults,” IEEE Transactions on Computers, vol. 42, no. 3, pp. 268–271, March 1993.CrossRefGoogle Scholar
  17. 17.
    A.V.S.S. Prasad, V.D. Agrawal, and M.V. Atre, “A New Algorithm for Global Fault Collapsing into Equivalence and Dominance Sets,” in Proc. International Test Conference, 2002, pp. 391–397.Google Scholar

Copyright information

© Springer Science + Business Media, Inc 2006

Authors and Affiliations

  1. 1.Faculty of Engineering and ScienceAgder University CollegeAgder

Personalised recommendations