|
University proceedings. Volga region. Physical and mathematical sciences, 2015, Issue 4, Pages 38–54
(Mi ivpnz266)
|
|
|
|
This article is cited in 7 scientific papers (total in 7 papers)
Mathematics
A method of synthesis of irredundant circuits (in Zhegalkin's basis) admitting single fault diagnostic test sets with cardinality 1
D. S. Romanov Lomonosov Moscow State University, Moscow
Abstract:
Background. Testing of combinational circuits is an important theoretical problem with applications to testing and verification of VLSI. The aim of this work is to demonstrate that for an arbitrary Boolean function it is possible to construct a circuit realizing this function and allowing a small single fault diagnosing test set (under inverse faults at outputs of gates). Materials and methods. Circuit design methods based on Zhegalkin polinomials (canonical Reed-Muller polinomial forms) were used. Results. It has been established that for an arbitrary Boolean function $f$, depending on n variables, there exists an irredundant combinational circuit (in the basis $\{x \& y, x \oplus y, 1\}$) realizing $f$ and admitting the single fault diagnosing test set (under inverse faults at outputs of gates).
Keywords:
combinational circuit, fault diagnostic test set, inverse fault at output of gate, Shannon function, easily testable circuit.
Citation:
D. S. Romanov, “A method of synthesis of irredundant circuits (in Zhegalkin's basis) admitting single fault diagnostic test sets with cardinality 1”, University proceedings. Volga region. Physical and mathematical sciences, 2015, no. 4, 38–54
Linking options:
https://www.mathnet.ru/eng/ivpnz266 https://www.mathnet.ru/eng/ivpnz/y2015/i4/p38
|
Statistics & downloads: |
Abstract page: | 54 | Full-text PDF : | 7 | References: | 7 |
|