Syndrome-Testability Can be Achieved by Circuit Modification
In  and  Savir developed many facets of syndrome-testing (checking the number of minterms realized by a circuit against the number realized by a fault-free version of that circuit) and presented evidence showing that syndrome-testing can be used in many practical circuits to detect all single faults. In some cases, where syndrome-testing did not detect all single stuck-at-faults, Savir showed that by the addition of a small number of additional "control" inputs and gates one would get a function which is syndrome-testable for all single stuck-at faults, and yet which realizes the original function when the "control" inputs are fed appropriate values. However, he left open the question of whether one could always modify a circuit to achieve syndrome-testability. In this correspondence we show that a combinatorial circuit can always be modified to produce a single-fault, syndrome-testable circuit.
G. Markowsky, "Syndrome-Testability Can be Achieved by Circuit Modification," IEEE Transactions on Computers, vol. C-30, no. 8, pp. 604-606, Institute of Electrical and Electronics Engineers (IEEE), Aug 1981.
The definitive version is available at http://dx.doi.org/10.1109/TC.1981.1675848
Keywords and Phrases
Logic Circuits; Circuit Modification; Stuck-at-faults; Syndrome Testability
International Standard Serial Number (ISSN)
Article - Journal
© 1981 Institute of Electrical and Electronics Engineers (IEEE), All rights reserved.