|
Preprints of the Keldysh Institute of Applied Mathematics, 2015, 074, 20 pp.
(Mi ipmp2036)
|
|
|
|
This article is cited in 8 scientific papers (total in 8 papers)
On an exact length value of a minimal single diagnostic test for one class of circuits
K. A. Popkov
Abstract:
We consider a problem of synthesis of irredundant logic circuits in the basis $\{\&,\lor,\lnot\}$ 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.
Keywords:
logic circuit, fault, single diagnostic test.
Citation:
K. A. Popkov, “On an exact length value of a minimal single diagnostic test for one class of circuits”, Keldysh Institute preprints, 2015, 074, 20 pp.
Linking options:
https://www.mathnet.ru/eng/ipmp2036 https://www.mathnet.ru/eng/ipmp/y2015/p74
|
Statistics & downloads: |
Abstract page: | 190 | Full-text PDF : | 48 | References: | 44 |
|