Pseudo-exhaustive test and segmentation: formal definitions and extended fault coverage results

Formal definitions are presented for segments and segmentations. Under these definitions, the partitionings of a circuit are a subset of the segmentations of that circuit. The fault coverage of an exhaustive test of a segment is then examined. Multiple-output segments, which have not previously been considered in the literature, are shown to present special difficulties, resulting in the definition of a novel type of segment test set. These results are used to present a formal definition for a pseudoexhaustive test using a segmentation. This definition guarantees detection of all detectable faults within segments. Consistency with previous definitions is maintained where practical.<<ETX>>

[1]  Jr. Jon G. Udell,et al.  Reconfigurable hardware for Pseudo-exhaustive test , 1988 .

[2]  Peter N. Marinos,et al.  An Operationally Efficient Scheme for Exhaustive Test-Pattern Generation Using Linear Codes , 1985, ITC.

[3]  Edward J. McCluskey,et al.  Partial hardware partitioning: a new pseudo-exhaustive test implementation , 1988, International Test Conference 1988 Proceeding@m_New Frontiers in Testing.

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

[5]  Edward J. McCluskey.  Verification Testing , 1982, 19th Design Automation Conference.

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

[7]  Claude Berge,et al.  The theory of graphs and its applications , 1962 .

[8]  J. G. Udell,et al.  Reconfigurable hardware for pseudoexhaustive test , 1988, International Test Conference 1988 Proceeding@m_New Frontiers in Testing.

[9]  Edward J. McCluskey,et al.  Design for Autonomous Test , 1981, IEEE Transactions on Computers.

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

[11]  C. L. Chen,et al.  Linear Dependencies in Linear Feedback Shift Registers , 1986, IEEE Transactions on Computers.

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

[13]  Zhongcheng Li,et al.  Pseudo-Exhaustive Testing Strategy for Large Combinational Circuits , 1986, Comput. Syst. Sci. Eng..

[14]  M. W. Roberts,et al.  An algorithm for the partitioning of logic circuits , 1984 .

[15]  Oren Patashnik.  Optimal circuit segmentation for pseudo-exhaustive testing , 1990 .