Article collection "Mathematical Problems of Cybernetics" №12, Moscow, 2003
Single fault detection tests for logic networks under inverse faults of gates
We consider logic networks over an arbitrary finite functionally complete basis. We permit single inverse faults of gates in networks, when a gate in a faulty state implements negation of a function corresponding to it which it implements in a good state. We constructively obtain that one can implement any Boolean function by an irredundant network permitting a single fault detection test consisting of not more than three vectors.
logic networks, inverse faults, single fault detection tests