A Self-Testing Group-Parity Prediction Checker and Its Use for Built-In Testing

This correspondence demonstrates a new kind of error-checking scheme for multioutput combinational circuits and its use for a built-in testing method. In the error-checking logic employed, the output from the circuits being checked is partitioned into several groups. The predicted group parity is compared to that produced from the output in each group. This checking circuit, called a group-parity prediction (GPP) checker, can be implemented systematically. To ensure that the GPP checker is self-testing, several conditions are required. The self-testing GPP checkers are implemented for some concrete examples of multioutput combinational circuits. With respect to these examples, the self-testing GPP checker shows 87-100 percent error detection ability, and 91-100 percent fault coverage for single stuck faults. Using this self-testing GPP checker, a self-verification testing method, which takes advantage of the automatic fault-detection capability of a checker, is shown to be applicable to testing combinational circuits.

[1]  Edward J. McCluskey,et al.  Self-Testing Embedded Parity Checkers , 1984, IEEE Transactions on Computers.

[2]  B. Koenemann,et al.  Built-in logic block observation techniques , 1979 .

[3]  William C. Carter,et al.  Design of dynamically checked computers , 1968, IFIP Congress.

[4]  Thomas W. Williams,et al.  Design for Testability - A Survey , 1982, IEEE Trans. Computers.

[5]  Gernot Metze,et al.  Design of Totally Self-Checking Check Circuits for m-Out-of-n Codes , 1973, IEEE Transactions on Computers.

[6]  William C. Carter,et al.  A Simple Self-Testing Decoder Checking Circuit , 1971, IEEE Transactions on Computers.

[7]  Frederick F. Sellers,et al.  Error detecting logic for digital computers , 1968 .

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

[9]  David E. Muller,et al.  Application of Boolean algebra to switching circuit design and to error detection , 1954, Trans. I R E Prof. Group Electron. Comput..

[10]  M. Y. Hsiao,et al.  Model for Transient and Permanent Error-Detection and Fault-Isolation Coverage , 1982, IBM J. Res. Dev..

[11]  Edward J. McCluskey,et al.  Design of Totally Self-Checking Comparators with an Arbitrary Number of Inputs , 1984, IEEE Transactions on Computers.