|
This article is cited in 9 scientific papers (total in 9 papers)
Short single tests for circuits with arbitrary stuck-at faults at outputs of gates
K. A. Popkov Keldysh Institute of Applied Mathematics of Russian Academy of Sciences, Moscow
Abstract:
The following results are proved: 1) any nonconstant Boolean function may be implemented by an irredundant circuit of gates in the basis $\{x\&y,$ $\overline x,x\oplus y\oplus z\}$ admitting a single fault detection test of length at most 2 with respect to arbitrary stuck-at faults at outputs of gates, 2) there exists a six-place Boolean function $\psi$ such that any nonconstant Boolean function may be implemented by an irredundant circuit of gates in the basis $\{\psi\}$ admitting a single diagnostic test of length at most 3 with respect to arbitrary stuck-at faults at outputs of gates.
Keywords:
circuit of gates, stuck-at fault, single fault detection test, single diagnostic test.
Received: 08.03.2018
Citation:
K. A. Popkov, “Short single tests for circuits with arbitrary stuck-at faults at outputs of gates”, Diskr. Mat., 30:3 (2018), 99–116; Discrete Math. Appl., 29:5 (2019), 321–333
Linking options:
https://www.mathnet.ru/eng/dm1509https://doi.org/10.4213/dm1509 https://www.mathnet.ru/eng/dm/v30/i3/p99
|
Statistics & downloads: |
Abstract page: | 344 | Full-text PDF : | 84 | References: | 43 | First page: | 15 |
|