Abstract:
We prove that an arbitrary Boolean function may be implemented by an irredundant Boolean circuit over an arbitrary finite complete basis so that the circuit admits a single diagnostic test of length at most 4 with respect to inversion faults at gate outputs.
Keywords:Boolean circuit, single diagnostic test, inversion fault at gate output, Shannon function, easily testable circuit.