Abstract:
A new method of combinational circuits concurrent checking is considered based on Boolean complement of the working functions of the diagnosis object to the constant-weight code words with parallel checkout of the bits functions belonging to the self-dual functions class of the Boolean logic. The described approach to the organization of concurrent error-detection (CED) systems allows to increase the detection ability in comparison with the traditional checkout by constant-weight code. In this case, the undetectable error can be a such error, which will lead to the preservation of the code word weight generated at the outputs of the Boolean complement block, if the distortions of all the functions bits on the opposite sets is coincide. This condition is more stringent than the checkout of the vector belonging a pre-selected code, it means that it gives a greater probability of detecting distortion arising from errors. The described method allows checkout of combinational circuit based on constant-weight codes with the same number of single and zero bits. In this case, the priority is in the widely used «2-out-of-4» code, which has a simple checker structure. A detailed description of the new CED system structure is given, and algorithms for the extension of definition of the values of the checkout functions that provide testability of technical diagnostic tools are given.
Citation:
D. V. Efanov, V. V. Sapozhnikov, Vl. V. Sapozhnikov, D. V. Pivovarov, “Fault detection in combinational circuits based on self-dual complement to constant-weight code”, Proceedings of ISP RAS, 31:1 (2019), 115–132
\Bibitem{EfaSapSap19}
\by D.~V.~Efanov, V.~V.~Sapozhnikov, Vl.~V.~Sapozhnikov, D.~V.~Pivovarov
\paper Fault detection in combinational circuits based on self-dual complement to constant-weight code
\jour Proceedings of ISP RAS
\yr 2019
\vol 31
\issue 1
\pages 115--132
\mathnet{http://mi.mathnet.ru/tisp402}
\crossref{https://doi.org/10.15514/ISPRAS-2019-31(1)-8}
\elib{https://elibrary.ru/item.asp?id=37313189}
Linking options:
https://www.mathnet.ru/eng/tisp402
https://www.mathnet.ru/eng/tisp/v31/i1/p115
This publication is cited in the following 3 articles:
Dmitriy Efanov, Tat'yana Pogodina, “Building Self-Checking Digital Devices on the Basis of Modified Hamming Codes with Self-Duality Control for Being Calculated Functions”, Transport automation research, 9:1 (2023), 99
Dmitriy Efanov, Tat'yana Pogodina, “Self-Dual Functional Gates for the Synthesis of Controllable Digital Systems”, Transport automation research, 9:2 (2023), 205
Asadulla R Azizov, Feruza F Shakirova, “Method for assessing the diagnosis of the technical condition of an integrated microprocessor pulse generator of railway automation and telemechanics”, IOP Conf. Ser.: Mater. Sci. Eng., 862:5 (2020), 052073