Issue No.06 - June (1976 vol.25)
P. Muth , Brown, Boveri, and Cie AG
A nine-valued circuit model for test generation is introduced which takes care of multiple and repeated effects of a fault in sequential circuits. Using this model test sequences can be determined which allow multiple and repeated effects of faults on the internal state of a sequential circuit. Thus valid test sequences are derived where other known procedures, like the D-algorithm, do not find any test although one exists.
Circuit testing, D-algorithm, diagnosis, many-valued model, sequential circuit, single and multiple faults, test generation.
P. Muth, "A Nine-Valued Circuit Model for Test Generation", IEEE Transactions on Computers, vol.25, no. 6, pp. 630-636, June 1976, doi:10.1109/TC.1976.1674663