Preprints of the Keldysh Institute of Applied Mathematics
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
General information
Latest issue
Archive

Search papers
Search references

RSS
Latest issue
Current issues
Archive issues
What is RSS



Keldysh Institute preprints:
Year:
Volume:
Issue:
Page:
Find






Personal entry:
Login:
Password:
Save password
Enter
Forgotten password?
Register


Keldysh Institute preprints, 2017, 030, 31 pp. (Mi ipmp2246)  

This article is cited in 3 scientific papers (total in 3 papers)

Single fault detection tests for logic networks in the basis conjunction-negation

K. A. Popkov


Abstract: We consider a problem of synthesis of irredundant logic networks in the basis $\{&,\neg\}$ and similar bases which implement Boolean functions on $n$ variables and allow short single fault detection tests regarding stuck-at-1 or stuck-an-0 faults on outputs of gates. For each Boolean function permitting implementation 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 three.

Keywords: logic network, stuck-at fault, single fault detection test.

Funding Agency Grant Number
Russian Academy of Sciences - Federal Agency for Scientific Organizations


DOI: https://doi.org/10.20948/prepr-2017-30

Full text: PDF file (490 kB)
Full text: http:/.../preprint.asp?id=2017-30&lg=r
References: PDF file   HTML file


Citation: K. A. Popkov, “Single fault detection tests for logic networks in the basis conjunction-negation”, Keldysh Institute preprints, 2017, 030, 31 pp.

Citation in format AMSBIB
\Bibitem{Pop17}
\by K.~A.~Popkov
\paper Single fault detection tests for logic networks in the basis conjunction-negation
\jour Keldysh Institute preprints
\yr 2017
\papernumber 030
\totalpages 31
\mathnet{http://mi.mathnet.ru/ipmp2246}
\crossref{https://doi.org/10.20948/prepr-2017-30}


Linking options:
  • http://mi.mathnet.ru/eng/ipmp2246
  • http://mi.mathnet.ru/eng/ipmp/y2017/p30

    SHARE: VKontakte.ru FaceBook Twitter Mail.ru Livejournal Memori.ru


    Citing articles on Google Scholar: Russian citations, English citations
    Related articles on Google Scholar: Russian articles, English articles

    This publication is cited in the following articles:
    1. D. S. Romanov, E. Yu. Romanova, “A method of synthesis of irredundant circuits admitting single fault detection tests of constant length”, Discrete Math. Appl., 29:1 (2019), 35–48  mathnet  crossref  crossref  isi  elib
    2. K. A. Popkov, “Polnye proveryayuschie testy dliny dva dlya skhem pri proizvolnykh konstantnykh neispravnostyakh elementov”, Preprinty IPM im. M. V. Keldysha, 2017, 104, 16 pp.  mathnet  crossref
    3. K. A. Popkov, “Korotkie edinichnye testy dlya skhem pri proizvolnykh konstantnykh neispravnostyakh na vykhodakh elementov”, Preprinty IPM im. M. V. Keldysha, 2018, 033, 23 pp.  mathnet  crossref  elib
  •     . . .
    Number of views:
    This page:96
    Full text:22
    References:10

     
    Contact us:
     Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2021