KIAM Main page Web Library  •  Publication Searh  Русский 

KIAM Preprint № 74, Moscow, 2015
Authors: Popkov K. A.
On an exact length value of a minimal single diagnostic test for one class of circuits
We consider a problem of synthesis of irredundant logic circuits in the basis {&,∨,¬} which realize Boolean functions on n variables and allow short single diagnostic tests regarding uniform constant faults on outputs of gates. For each Boolean function permitting realization by an irredundant circuit, the minimal possible length value of such a test is found. In particular, it is proved that this value does not exceed two.
logic circuit, fault, single diagnostic test
Publication language: russian, pages: 20
Research direction:
Mathematical modelling in actual problems of science and technics
Source text: