Abstract
Absolute lower bound \(2^{n}\) is established for the length of a full conditional diagnostic test for a Cardot circuit that implements the sum of \(n\) variables.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
REFERENCES
A. A. Voronenko, Fundamentals of Cybernetics, Textbook (INFRA-M, Moscow, 2018) [in Russian].
C. Cardot, ‘‘Quelques resultats sur l’application de l’algebre de Boole a la synthese des circuits a relais,’’ Ann. Telecommun. 7 (2), 75–84 (1952).
Kh. A. Madatyan, ‘‘A complete test for repetition-free contact circuits,’’ Probl. Kibern., No. 23, 103–118 (Nauka, Moscow, 1970) [in Russian].
R. N. Tonoyan, ‘‘On single tests for contact circuits realizing linear functions,’’ Izv. Akad. Nauk ArmSSR 6 (1), 61–66 (1971).
S. M. Vartanyan, Single diagnostic tests for sequential block circuits, Candidate’s Dissertation in Physics and Mathematics (Moscow State Univ., Moscow, 1987).
D. S. Romanov, Test construction and test parameter estimation for some classes of contact circuits, Candidate’s Dissertation in Physics and Mathematics (Moscow State Univ., Moscow, 2000).
B. V. Kibza, Conditional testing for Cardot circuits. Diploma Thesis (Dept. Comput. Math. Cybern., Moscow State Univ., Moscow, 2014) [in Russian].
A. A. Voronenko and E. S. Malakhova, ‘‘Testing Cardo circuits of a small number of variables,’’ Intellekt. Sist. Teor. Prilozh. 20 (3), 37–41 (2016).
A. A. Shchurova, Cardot circuits testing for 4 variables, Term Paper (Dept. Comput. Math. Cybern., Moscow State Univ., Moscow, 2017).
Author information
Authors and Affiliations
Corresponding author
Additional information
Translated by I. Tselishcheva
About this article
Cite this article
Voronenko, A.A. Conditional Testing for Cardot Circuits. MoscowUniv.Comput.Math.Cybern. 44, 159–160 (2020). https://doi.org/10.3103/S0278641920030061
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.3103/S0278641920030061