|Generate QR code
Open Access
Subscription Access
Combinational circuits testing by two diagnostic features on the base of weight-transition sum codes
https://doi.org/10.17586/0021-3454-2025-68-2-116-132
Abstract
It is proposed to use the properties of weight-transition sum code for organizing built-in control circuits of combinational digital devices when checking calculations by two diagnostic features. It is established that the control symbols of weight-transition sum code are described by the so-called self-quasi-dual Boolean functions that have the same values o n pairs of input combinations that differ in all variables. This property can be used in the synthesis of built-in control circuits based on Boolean signal correction. A built-in control circuit based on Boolean signal correction with verification of the belonging of the generated code words to the weight-transition sum code, as well as self-quasi-duality of each calculated function, is presented. An algorithm for obtaining the values of Boolean signal correction functions is given, which guarantees the self-quasi-duality of the functions formed in the built-in control circuit, describing the data and check symbols of the weight-transition sum code, as well as self-checkability of the built-in control circuit itself.
About the Authors
D. V. Efanov
Russian University of Transport; Peter the Great St. Petersburg Polytechnic University
Russian Federation
Russian Federation
Dmitry V. Efanov — Dr. Sci., Professor; Remote Control, and Communications on Railway Transport; Professor; Institute of Machinery, Materials, and Transport, Higher School of Transport; Professor
Moscow
St. Petersburg
D. V. Pivovarov
Emperor Alexander I St. Petersburg State Transport University
Russian Federation
Russian Federation
Dmitry V. Pivovarov — PhD; Department of Automation and Telemechanics on Railways
St. Petersburg
References
1. Sogomonyan E.S., Slabakov E.V. Samoproveryaemye ustroystva i otkazoustoychivye sistemy (The Self-Checked Devices and Failure-Safe Systems), Moscow, 1989, 208 р. (in Russ.)
2. Nicolaidis M., Zorian Y. Journal of Electronic Testing: Theory and Application, 1998, no. 1-2(12), pp. 7–20, DOI: 10.1023/A:1008244815697.
3. Reynolds D.A., Meize G. Transactions on Computers, 1978, no. 12(C-27), pp. 1093–1098, DOI: 10.1109/TC.1978.1675011.
4. Aksyonova G.P. Automation and Remote Control, 1987, no. 10, pp. 144–153. (in Russ.)
5. Lala P.K. Self-Checking and Fault-Tolerant Digital Design, San Francisco, Morgan Kaufmann Publishers, 2001, 216 p.
6. Efanov D.V. Electronic Modeling, 2022, no. 1(44), pp. 43–52, DOI: 10.15407/emodel.44.01.043.
7. Gessel M., Morozov A.V., Sapozhnikov V.V., & Sapozhnikov Vl.V. Automation and Remote Control, 2003, no. 1(64), pp. 153–161, DOI: https://doi.org/10.1023/A:1021884727370.
8. Goessel M., Moshanin V., Saposhnikov V.V., Saposhnikov Vl.V. Automation and Remote Control, 1997, no. 12, pp. 193–200. (in Russ.)
9. Göessel M., Ocheretny V., Sogomonyan E., Marienfeld D. New Methods of Concurrent Checking: Edition 1, Dordrecht, Springer Science+Business Media B.V., 2008, 184 p.
10. Saposhnikov Vl.V., Dmitriev A., Goessel M., Saposhnikov V.V. Proceedings of 14th IEEE VLSI Test Symposium, USA, Princeton, 1996, pp. 162–168.
11. Gessel M., Dmitriev A.V., Sapozhnikov V.V., Sapozhnikov Vl.V. Automation and Remote Control, 1999, no. 11(60), pp. 1653–1663.
12. Efanov D., Sapozhnikov V., Sapozhnikov Vl., Osadchy G., Pivovarov D. Proceedings of 17th IEEE East-West Design & Test Symposium (EWDTS’2019), Batumi, Georgia, September 13–16, 2019, pp. 136–143, DOI: 10.1109/EWDTS.2019.8884398.
13. Efanov D.V., Pivovarov D.V. Proceedings of 19th IEEE East-West Design & Test Symposium (EWDTS’2021), Batumi, Georgia, September 10–13, 2021, pp. 200–206, DOI: 10.1109/EWDTS52692.2021.9581019.
14. Efanov D.V., Pogodina T.S. Informatics and Automation, 2023, no. 2(22), pp. 349–392, DOI: 10.15622/ia.22.2.5. (in Russ.)
15. Efanov D.V., Pogodina T.S. Vestnik Tomskogo Gosudarstvennogo Universiteta — Upravlenie, Vychislitel’naya Tekhnika i Informatika, 2023, no. 63, pp. 118–136, DOI: 10.17223/19988605/63/14. (in Russ.)
16. Sapozhnikov V.V., Sapozhnikov Vl.V., Efanov D.V. Kody s summirovaniyem dlya sistem tekhnicheskogo diagnostirovaniya. T. 1. Klassicheskiye kody Bergera i ikh modifikatsii (Summed Codes for Technical Diagnostic Systems. Vol. 1. Classical Berger Codes and Their Modifications), Moscow, 2020, 383 р. (in Russ.)
17. Sapozhnikov V.V., Sapozhnikov Vl.V., Efanov D.V. Kody s summirovaniyem dlya sistem tekhnicheskogo diagnostirovaniya. T. 2. Vzveshennyye kody s summirovaniyem (Summed Codes for Technical Diagnostic Systems. Vol. 2. Weighted Codes with Summation), Moscow, 2021, 455 р. (in Russ.)
18. Shalyto A.A. Logicheskoye upravleniye. Metody apparatnoy i programmnoy realizatsii (Logical Control. Hardware and Software Implementation Methods), St. Petersburg, 2000, 780 р. (in Russ.)
19. Saposhnikov V., Saposhnikov Vl. Proceedings of 4th International Conference on Unconventional Electromechanical and Electrical Systems, St. Petersburg, Russia, June 21–24, 1999, pp. 693–696.
20. Mekhov V. B., Sapozhnikov V.V., & Sapozhnikov Vl.V. Automation and Remote Control, 2008, no. 8(69), pp. 1411–1422, DOI: https://doi.org/10.1134/S0005117908080134
21. Sapozhnikov V.V., Sapozhnikov V.V., Efanov D.V., Kotenko A.G. SPIIRAS Proceedings, 2017, no. 1, pp. 137–164, DOI: 10.15622/SP.50.6. (in Russ.)
22. Nikolos D. Journal of Electronic Testing: Theory and Applications, 1998, no. 1-2(12), pp. 69–79, DOI: 10.1023/A:1008281822966.
23. Aksyonova G.P. Automation and Remote Control, 1979, no. 9, pp. 126–135. (in Russ.)
24. Sapozhnikov V.V., Sapozhnikov Vl.V., Efanov D.V. Journal of Instrument Engineering, 2016, no. 7(59), pp. 524–533, DOI: 10.17586/0021-3454-2016-59-7-524-533. (in Russ.)
25. Efanov D.V. Information Technologies, 2023, no. 10(29), pp. 503–511, DOI: 10.17587/it.29.503-511. (in Russ.)
26. Goessel M., Morozov A.V., Sapozhnikov V.V., & Sapozhnikov Vl.V. Automation and Remote Control, 2005, no. 8(66), pp. 1336–1346, DOI: https://doi.org/10.1007/s10513-005-0174-2
Review
For citations:
Efanov D.V., Pivovarov D.V. Combinational circuits testing by two diagnostic features on the base of weight-transition sum codes. Journal of Instrument Engineering. 2025;68(2):116-132. (In Russ.) https://doi.org/10.17586/0021-3454-2025-68-2-116-132
Views:
15
Email this article 