Single diagnostic tests for inversion faults of gates in circuits over arbitrary bases
Iľya G. Liubich, Дмитрий Сергеевич Романов · Discrete Mathematics and Applications · 2022
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.