Complete Fault Detection Tests of Length 2 for Logic Networks under Stuck-at Faults of Gates
- Authors: Popkov K.A.1
-
Affiliations:
- Keldysh Institute of Applied Mathematics
- Issue: Vol 12, No 2 (2018)
- Pages: 302-312
- Section: Article
- URL: https://journals.rcsi.science/1990-4789/article/view/213052
- DOI: https://doi.org/10.1134/S1990478918020102
- ID: 213052
Cite item
Abstract
We consider the problem of the synthesis of the logic networks implementing Boolean functions of n variables and allowing short complete fault detection tests regarding arbitrary stuck-at faults at the outputs of gates. We prove that there exists a basis consisting of two Boolean functions of at most four variables in which we can implement each Boolean function by a network allowing such a test with length at most 2.
About the authors
K. A. Popkov
Keldysh Institute of Applied Mathematics
Author for correspondence.
Email: kirill-formulist@mail.ru
Russian Federation, Miusskaya pl. 4, Moscow, 125047