Russian Federation
681.518.5
This paper describes the design principles of modular weight-based sum codes, focusing primarily on cases with m = 5 data symbols and M = 4, 8, 16, 32, 64 modulus values. The total number of variants with a sequence of weighting coefficient and the number of those providing uniform distribution of data vectors between check vectors have been determined for each code class considered. The conditions for selecting weighting coefficients that ensure a uniform distribution have been formulated. An algorithm for synthesizing the concurrent error-detection circuit with Boolean signals correction has been proposed, as well as the structure of the concurrent error-detection circuit with correction of signals forming check symbols of the modular weight-based sum code. The structure has been generalized for the code with m = 5 data symbols. Experimental studies have been carried out on a set of MCNC Benchmarks, demonstrating that the proposed method significantly reduces the complexity of device implementation in comparison with the duplication method. The research results confirm the high flexibility of the proposed approach and its promising potential for designing selfchecking digital devices
modular weight-based sum code; concurrent error-detection circuit; Boolean signals correction; self-checking device
1. Ryabinin I. A. Logiko-veroyatnostnoe ischislenie kak apparat issledovaniya nadezhnosti i bezopasnosti strukturno-slozhnyh sistem / I. A. Ryabinin // Avtomatika i telemehanika. — 2003. — № 7. — S. 178– 186.
2. Scherbakov N. S. Samokorrektiruyuschiesya diskretnye ustroystva / N. S. Scherbakov. — M.: Mashinostroenie, 1975. — 216 c.
3. Koren I. Fault-tolerant systems / I. Koren, C. M. Krishna. — Berlin: Springer, 2007. — 408 p.
4. Berger J. M. A Note on Error Detection Codes for Asymmetric Channels / J. M. Berger // Information and Control. — 1961. — Vol. 4. — Iss. 1. — Pp. 68–73. — DOI: 10.1016/ S0019-9958(61)80037-5.
5. Berger J. M. A Note on Burst Detection Sum Codes / J. M. Berger // Information and Control. — 1961. — Vol. 4. — Iss. 2-3. — Pp. 297–299. — DOI:https://doi.org/10.1016/S0019- 9958(61)80024-7.
6. Mitra S. Which concurrent error detection scheme to choose? / S. Mitra, E. J. McCluskey // Proceedings International Test Conference. — 2000. — Pp. 985–994. — DOI:https://doi.org/10.1109/TEST.2000.894311.
7. Verhoeff T. Delay-insensitive codes — an overview / T. Verhoeff // Distributed Computing. — 1988. — Vol. 3. — Iss. 1. — Pp. 1–8. — DOI:https://doi.org/10.1007/BF01788562.
8. Efanov D. V. O svoystvah koda s summirovaniem v shemah funkcional'nogo kontrolya / D. V. Efanov, V. V. SapozhTablica 10. Harakteristika WS(5, k, M) kodov pri razlichnyh znacheniyah M Kriteriy M = 8 M = 16 M = 32Apparatnaya slozhnost' Nizkaya Srednyaya Povyshennaya Veroyatnost' obnaruzheniya oshibok Srednyaya Vysokaya Ochen' vysokaya Neobhodimoe chislo proverochnyh simvolov 3 4 5 Ravnomernost' raspredeleniya informacionnyh simvolov mezhdu proverochnymi Vysokaya Srednyaya Snizhaetsya Izbytochnost' Nizkaya Srednyaya Povyshennaya Tehnicheskaya diagnostika i kontroleprigodnye sistemy 190 Avtomatika na transporte. № 2, tom 11, iyun' 2025 nikov, Vl. V. Sapozhnikov // Avtomatika i telemehanika. — 2010. — № 6. — S. 155–162.
9. Piestrak S. J. Design of Self-Testing Checkers for Unidirectional Error Detecting Codes / S. J. Piestrak. — Wrocław: Oficyna Wydawnicza Politechniki Wrocłavskiej, 1995. — 111 p.
10. Bose B. Systematic Unidirectional Error-Detection Codes / B. Bose, D. J. Lin // IEEE Transaction on Computers. — 1985. — Vol. C-34. — Pp. 1026–1032.
11. Das D. Synthesis of Circuits with Low-Cost Concurrent Error Detection Based on Bose-Lin Codes / D. Das, N. A. Touba // Journal of Electronic Testing: Theory and Applications. — 1999. — Vol. 15. — Iss. 1-2. — Pp. 145–155. — DOI:https://doi.org/10.1023/A:1008344603814.
12. Efanov D. V. Primenenie modul'nyh kodov s summirovaniem dlya postroeniya sistem funkcional'nogo kontrolya kombinacionnyh logicheskih shem / D. V. Efanov, V. V. Sapozhnikov, Vl. V. Sapozhnikov // Avtomatika i telemehanika. — 2015. — № 10. — S. 152–169.
13. Sapozhnikov V. V. Modul'nye kody s summirovaniem v sistemah funkcional'nogo kontrolya. I. Svoystva obnaruzheniya oshibok kodami v informacionnyh vektorah / V. V. Sapozhnikov, Vl. V. Sapozhnikov, D. V. Efanov, M. R. Cherepanova // Elektronnoe modelirovanie. — 2016. — T. 38. — № 2. — S. 27–48.
14. Das D. Low Cost Concurrent Error Detection Based on Modulo Weight-Based Codes / D. Das, N. A. Touba, M. Seuring, M. Gossel // Proceedings of the IEEE 6th International On-Line Testing Workshop (IOLTW), Spain, Palma de Mallorca, July 3–5, 2000. — Pp. 171–176. — DOI:https://doi.org/10.1109/OLT.2000.856633.
15. Das D. Weight-Based Codes and Their Application to Concurrent Error Detection of Multilevel Circuits / D. Das, N. A. Touba // Proceedings of 17th IEEE Test Symposium. — California, USA, 1999. — Pp. 370–376. — DOI: 10.1109/ VTEST.1999.766691.
16. Mehov V. B. Kontrol' kombinacionnyh shem na osnove modificirovannyh kodov s summirovaniem / V. B. Mehov, V. V. Sapozhnikov, Vl. V. Sapozhnikov // Avtomatika i telemehanika. — 2008. — № 8. — S. 153–165.
17. Efanov D. V. Sintez samoproveryaemyh cifrovyh ustroystv na osnove logicheskoy korrekcii signalov s primeneniem vzveshennyh kodov Bouza — Lina / D. V. Efanov, E. I. Elina // Problemy upravleniya. — 2024. — № 4. — S. 26–43. — DOI: http://doi.org/10.25728/pu.2024.4.3.
18. Nikitin D. A. Modul'no-vzveshennyy kod s summirovaniem s pryamoy posledovatel'nost'yu vesov v sravnenii s modul'nym kodom Hemminga / D. A. Nikitin // Informacionnye tehnologii na transporte: sb. mater. v sekcii «Informacionnye tehnologii na transporte» Yubileynoy XV Sankt-Peterburgskoy mezhdunarodnoy konferencii «Regional'naya informatika — 2016», Sankt-Peterburg, 26–28 oktyabrya 2016 g.; pod. red. Val. V. Sapozhnikova. — SPb.: FGBOU VO PGUPS. — 2016. — S. 9–16.
19. Sapozhnikov V. V. Kody s summirovaniem dlya sistem tehnicheskogo diagnostirovaniya. T. 1: Klassicheskie kody Bergera i ih modifikacii / V. V. Sapozhnikov, Vl. V. Sapozhnikov, D. V. Efanov. — M.: Nauka, 2020. — 383 s.
20. Sapozhnikov V. V. Kody s summirovaniem dlya sistem tehnicheskogo diagnostirovaniya. T. 2: Vzveshennye kody s summirovaniem / V. V. Sapozhnikov, Vl. V. Sapozhnikov, D.V. Efanov. — M.: Nauka, 2021. — 455 s.
21. Göessel M. New Methods of Concurrent Checking: Edition 1 / M. Göessel, V. Ocheretny, E. Sogomonyan, D. Marienfeld // Dordrecht: Springer Science+Business Media B. V. — 2008. — 184 p.
22. Alfarano G. N. Weighted Reed-Solomon convolutional codes / G. N. Alfarano, D. Napp, A. Neri, V. Requena // Linear and Multilinear Algebra. — 2023. — Vol. 72. — Iss. 5. — Pp. 841–874. — DOI:https://doi.org/10.1080/03081087.2023.2169232.
23. Geil O. Weighted Reed-Muller codes revisited / O. Geil, C. Thomsen // Designs, Codes and Cryptography. — 2013. — Vol. 66. — Pp. 195–220. — DOI:https://doi.org/10.1007/s10623- 012-9680-8.
24. Sogomonyan E. S. Samoproveryaemye ustroystva i otkazoustoychivye sistemy / E. S. Sogomonyan, E. V. Slabakov. — M.: Radio i svyaz', 1989. — 208 s.
25. Pivovarov D. V. Postroenie sistem funkcional'nogo kontrolya mnogovyhodnyh kombinacionnyh shem metodom logicheskogo dopolneniya po ravnovesnym kodam / D. V. Pivovarov // Avtomatika na transporte. — 2018. — T. 4. — № 1. — S. 131–149.
26. Gessel' M. Kontrol' kombinacionnyh shem metodom logicheskogo dopolneniya / M. Gessel', A. V. Morozov, V. V. Sapozhnikov, Vl. V. Sapozhnikov // Avtomatika i telemehanika. — 2005. — № 8. — S. 161–172.
27. Gessel' M. Samotestiruemaya struktura dlya funkcional'nogo obnaruzheniya otkazov v kombinacionnyh shemah / M. Gessel', A. V. Dmitriev, V. V. Sapozhnikov, Vl. V. Sapozhnikov // Avtomatika i telemehanika. — 1999. — № 11. — S. 162–174.
28. Saposhnikov Vl. V. Self-Dual Parity Checking — a New Method for on Line Testing / Vl. V. Saposhnikov, A. Dmitriev, M. Goessel, V. V. Saposhnikov // Proceedings of 14th IEEE VLSI Test Symposium. — USA, Princeton, 1996. — Pp. 162– 168.
29. Pashukov A. V. Primenenie vzveshennyh kodov s summirovaniem pri sinteze shem vstroennogo kontrolya po metodu logicheskogo dopolneniya / A. V. Pashukov // Avtomatika na transporte. — 2022. — T. 8. — № 1. — S. 101–114. — DOI:https://doi.org/10.20295/2412-9186-2022-8-1-101-114.
30. Elina E. I. Vzveshennye kody Bouza — Lina v shemah vstroennogo kontrolya na osnove logicheskoy korrekcii signalov / E. I. Elina, D. V. Efanov // Izvestiya Rossiyskoy Akademii nauk. Teoriya i sistemy upravleniya. — 2025. — № 1. — C. 45–62. — DOI: 10.31857/ S0002338825010047.
31. Efanov D. V. Issledovanie sposobov sinteza shem vstroennogo kontrolya na osnove logicheskoy korrekcii signalov s primeneniem ravnomernyh razdelimyh kodov / D. V. Efanov, E. I. Elina // Mikroelektronika. — 2024. — T. 53. — № 5. — S. 413–426. — DOI: 10.31857/ S0544126924050079.
32. Dmitriev V. V. O dvuh sposobah vzveshivaniya i ih vliyanii na svoystva kodov s summirovaniem vzveshennyh perehodov v sistemah funkcional'nogo kontrolya logicheskih shem / V. V. Dmitriev // Izvestiya Peterburgskogo universiteta putey soobscheniya. — 2015. — № 3. — S. 119–129. Tehnicheskaya diagnostika i kontroleprigodnye sistemy Transport automation research. No 2, Vol. 11, June 2 025 191
33. Sapozhnikov V. V. Kody s summirovaniem s posledovatel'nost'yu vesovyh koefficientov, obrazuyuschey natural'nyy ryad chisel, v sistemah funkcional'nogo kontrolya / V. V. Sapozhnikov, Vl. V. Sapozhnikov, D. V. Efanov // Elektronnoe modelirovanie. — 2017. — T. 39. — № 5. — S. 37–58.
34. Efanov D. V. Modificirovannye kody s summirovaniem vzveshennyh perehodov v sistemah funkcional'nogo kontrolya kombinacionnyh shem / D. V. Efanov, V. V. Sapozhnikov, Vl. V. Sapozhnikov // Trudy Instituta sistemnogo programmirovaniya RAN. — 2017. — T. 29. — № 5. — S. 39–60. — DOI:https://doi.org/10.15514/ISPRAS-2017-29(5)-3.
35. Nikitin D. A. Analiz harakteristik optimal'nyh kodov s summirovaniem, poluchennyh na osnove vzveshivaniya razryadov informacionnyh vektorov, v sistemah funkcional'nogo kontrolya / D. A. Nikitin // Izvestiya Peterburgskogo universiteta putey soobscheniya. — 2016. — № 4. — S. 607–616.
36. Efanov D. V. Kody s summirovaniem s fiksirovannymi znacheniyami kratnostey obnaruzhivaemyh monotonnyh i asimmetrichnyh oshibok dlya sistem tehnicheskogo diagnostirovaniya / D. V. Efanov, V. V. Sapozhnikov, Vl. V. Sapozhnikov // Avtomatika i telemehanika. — 2019. — № 6. — S. 121–141.
37. Efanov D. V. Uchet sposobov vzveshivaniya razryadov informacionnogo vektora pri postroenii koda s summirovaniem v kol'ce vychetov po modulyu M = 4 pri sinteze samoproveryaemyh diskretnyh ustroystv na osnove logicheskoy korrekcii signalov / D. V. Efanov, E. I. Elina // Informacionnye tehnologii. — 2025. — T. 31. — № 1. — S. 3–15.
38. Efanov D. V. Synthesis of Concurrent Error-Detection Circuits Based on Boolean Signals Correction Using Modular Weight-Based Sum Codes / D. V. Efanov, Y. I. Yelina // Proceedings of the 2024 Conference of Young Researchers in Electrical and Electronic Engineering (EICon), 29–30 January 2024, St. Petersburg, Russia. — Pp. 350– 355. — DOI:https://doi.org/10.1109/ElCon61730.2024.10468328.
39. Sapozhnikov V. V. Samoproveryaemye diskretnye ustroystva / V. V. Sapozhnikov, Vl. V. Sapozhnikov. — SPb.: Energoatomizdat, 1992. — 224 s.
40. Nikolos D. Self-Testing Embedded Two-Rail Checkers / D. Nikolos // Journal of Electronic Testing: Theory and Applications. — 1998. — Vol. 12. — Iss. 1-2. — Pp. 69–79. — DOI:https://doi.org/10.1023/A:1008281822966.
41. Aksenova G. P. Neobhodimye i dostatochnye usloviya po stroeniya polnost'yu proveryaemyh shem svertki po modulyu 2 / G. P. Aksenova // Avtomatika i telemehanika. — 1979. — № 9. — S. 126–135.
42. Collection of Digital Design Benchmarks. — URL: https://ddd.fit.cvut.cz/www/prj/Benchmarks/ (data obrascheniya: 25.04.25).
