Controllability and Fault Observability in Modular Combinational Circuits
Cerny · IEEE Transactions on Computers · 1978
An extension of a methodology based on Boolean equations to fault detection in modular combinational networks is described. The resulting method allows for the use of cataloged module tests, and it is applicable under the single-faulty-module constraint. The conceptual and computational framework is rather simple, and it is independent of any particular data structure for representing Boolean functions.