Fault detection in linear sequential circuits
Petrovic, Aleksa Sime
Jump, J. Robert
Master of Science
This thesis is concerned with the detection of non-transient faults in digital networks. A procedure for detection of faults in a simple controllable Linear Sequential Circuit (LSC) over GF(2) is developed. The following is assumed: 1) The faults are those which cause the LSC to behave as if some of its primary (external) or secondary (internal) terminals were permanently stuck at zero, or permanently stuck at one; 2) That all testing must be performed on the external terminals of the LSC. The characterizing matrix B, s vectors of the form AnBdv (v=l,2,...,s), s unit input vectors and the zero input vector are used instead of the fault table. (s is the number of primary input terminals, n is the dimension of LSC, A is its characteristic matrix and Sv is the unit input vector having 1 on the position v.) It is shown that the set of s+1 tests is sufficient to detect the existence of any fault that belongs to the set of defined faults. The test is defined here as a procedure consisting of: (a) Application of the unit input vector (or zero input vector) followed by 2n zero input vectors, (b) Comparison of the resulting output vectors with the vectors AnBdv. There are no faults in the LSC if and only if these vectors agree. It is further shown that for an arbitrary LSC over GF(2) realized in pseudo-canonical realization of m simple controllable LSCs, the set of (s+l).m tests is sufficient (m is the number of primary output terminals).