EN|RU

Volume 22, No 1, 2015, P. 51–63

UDC 519.718
E. V. Morozov, D. S. Romanov
Full detecting tests for Boolean functions for local linear faults of circuits’ inputs

Abstract:
Let a linear conglutination of variables in Boolean functions be a substitution of a linear function depending on these variables for them. The conglutination is local if all conglutinated variables are situated next to each other. Complete and single detecting tests are studied.
Bibliogr. 5.

Keywords: test, Boolean function, conglutination.

DOI: 10.17377/daio.2015.22.457

Evgeniy V. Morozov 1
Dmitriy S. Romanov 1

1. Lomonosov Moscow State University,
1 Leninskie gory, 119992 Moscow, Russia
-mail: morozov_msu@mail.ru, romanov@cs.msu.ru

Received 11 July 2014

References

[1] D. S. Romanov, On full detecting tests for local conglutinations of variables in Boolean functions, Uch. Zap. Kazan. Gos. Univ., Ser. Fiz.-Mat. Nauki, 151, No. 2, 197–206, 2009.

[2] E. V. Morozov, Tests for multiple linear conglutinations of variables in Boolean functions, Vestn. Mosk. Univ., Ser. 15, No. 1, 22a–26, 2014. Translated in Mosc. Univ. Comput. Math. Cybern., 38, No. 1, 21–25, 2014.

[3] E. V. Morozov and D. S. Romanov, On tests for local linear conglutinations of variables in Boolean functions, Vestn. Nizhegorod. Univ., Ser. Fiz.-Mat. Nauki, No. 5, 153–158, 2012.

[4] G. R. Pogosyan, O proveryayushchikh testakh dlya vkhodov logicheskikh ustroistv (On Detecting Tests for Logical Circuit Inputs), VTs AN SSSR, Moscow, 1982.

[5] D. S. Romanov, Diagnostic tests for local coalescences of variables in Boolean functions, Prikl. Mat. Inform., No. 36, 91–98, 2010. Translated in Comput. Math. Model., 23, No. 1, 72–78, 2012.
 © Sobolev Institute of Mathematics, 2015