Controllability and Fault Observability in Modular Combinational Circuits

Abstract

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.