Российский университет транспорта (МИИТ) (Кафедра «Автоматика, телемеханика и связь на железнодорожном транспорте», Профессор)
ООО «НИПИ «ТрансСтройбезопасность» (Заместитель генерального директора по научно-исследовательской работе)
Ташкентский государственный транспортный университет (Кафедра «Автоматика и телемеханика», Профессор)
Россия
Описывается разделимый код, который может быть эффективно использован при организации систем функционального контроля комбинационных логических схем. Данный код принадлежит к классу кодов с суммированием взвешенных информационных разрядов и строится по простым правилам, что соответственно определяет и простые структуры кодирующей аппаратуры. Приведенный код имеет такое же количество контрольных разрядов, как и классический код Бергера, однако при этом обнаруживает большее количество ошибок в информационных векторах при установленных значениях длин информационных и контрольных векторов. Что немаловажно, новый код с суммированием обнаруживает любые двукратные искажения в информационных векторах, что определяет перспективы его применения в задачах технической диагностики. В статье также дается сравнение описываемого кода с классическим кодом Бергера. Приводятся результаты экспериментов с набором контрольных комбинационных схем MCNC Benchmarks по организации систем функционального контроля.
техническая диагностика, система функционального контроля, комбинационная схема, кодовое слово, код Бергера, взвешенный код с суммированием, информационный вектор, ошибка в информационном векторе, структурная избыточность
1. Пархоменко П. П. Основы технической диагностики (оптимизация алгоритмов диагностирования, аппаратурные средства) / П. П. Пархоменко, Е. С. Согомонян. - М. : Энергоатомиздат, 1981. - 320 с.
2. McCluskey E. J. Logic design principles : With emphasis on testable semicustom circuits / E. J. McCluskey. - New Jersey : Prentice hall PTR, 1986. - 549 p.
3. Mitra S. Which concurrent error detection scheme to сhoose? / S. Mitra, E. J. McCluskey // Proceedings of International test conference. 2000. USA, Atlantic city, NJ, 03-05 October 2000. - Рp. 985-994.
4. Дрозд А. В. Нетрадиционный взгляд на рабочее диагностирование вычислительных устройств / А. В. Дрозд // Проблемы управления. - 2008. - № 2. - С. 48-56.
5. Согомонян Е. С. Самопроверяемые устройства и отказоустойчивые системы / Е. С. Согомонян, Е. В. Слабаков. - М. : Радио и связь, 1989. - 208 с.
6. Сапожников Вал. В. Самопроверяемые дискретные устройства / Вал. В. Сапожников, Вл. В. Сапожников. - СПб. : Энергоатомиздат, 1992. - 224 с.
7. Nicolaidis M. On-line testing for VLSI - А compendium of approaches / M. Nicolaidis, Y. Zorian // Journal of electronic testing : theory and applications. - 1998. - № 12. - Рp. 7-20.
8. Fujiwara E. Code design for dependable systems : Theory and practical applications / E. Fujiwara. - New Jersey : John Wiley & Sons, 2006. - 720 p.
9. Lala P. K. Principles of modern digital design / P. K. Lala. - New Jersey : John Wiley & Sons, 2007. - 419 p.
10. Блюдов А. А. О кодах с суммированием единичных разрядов в системах функционального контроля / А. А. Блюдов, Д. В. Ефанов, Вал. В. Сапожников, Вл. В. Сапожников // Автоматика и телемеханика. - 2014. - № 8. - С. 131-145.
11. Аксёнова Г. П. Необходимые и достаточные условия построения полностью проверяемых схем свертки по модулю два / Г. П. Аксёнова // Автоматика и телемеханика. - 1979. - № 9. - С. 126-135.
12. Ghosh S. Synthesis of low power CED circuits based on parity codes / S. Ghosh, S. Basu, N.A. Touba // Proceedings of 23rd IEEE VLSI test symposium (VTS’05). - 2005. - Рp. 315-320.
13. Busaba F. Y. Self-checking combinational circuit design for single and unidirectional multibit errors / F. Y. Busaba, P. K. Lala // Journal of electronic testing : Theory and applications. - 1994. - Vol. 5. - Issue 5. - Pp. 19-28.
14. Saposhnikov Val. V. A New design method for self-checking unidirectional combinational circuits / Val. V. Saposhnikov, A. Morosov, Vl. V. Saposhnikov, M. Göes- sel // Journal of electronic testing : Theory and applications. - 1998. - Vol. 12. - Issue 1-2. - Pp. 41-53.
15. Berger J. M. А note on error detecting codes for asymmetric channels / J. M. Berger // Information and control. - 1961. - Vol. 4. - Issue 1. - Рp. 68-73.
16. Lin D. J. Unidirectional error correcting/detecting codes / D. J. Lin // Ph. D. Thesis, Oregon state university. - July 2. - 1987. - 104 p.
17. Jha N. K. A t-unidirectional error-detecting systematic code / N. K. Jha, M. B. Vora // Computers & mathematics with application. - 1988. - Vol. 16. - Issue 9. - Pp. 705-714.
18. Сапожников Вал. В. Классификация ошибок в информационных векторах систематических кодов / Вал. В. Сапожников, Вл. В. Сапожников, Д. В. Ефанов // Известия вузов. Приборостроение. - 2015. - Т. 58. - № 5. - С. 333-343.
19. Ефанов Д. В. О свойствах кода с суммированием в схемах функционального контроля / Д. В. Ефанов, Вал. В. Сапожников, Вл. В. Сапожников // Автоматика и телемеханика. - 2010. - № 6. - С. 155-162.
20. Berger J. M. A note on burst detecting sum codes / J. M. Berger // Information and control. - 1961. - Vol. 4. - Issue 2-3. - Pp. 297-299.
21. Dong H. Modified berger codes for detection of unidirectional errors / H. Dong // IEEE transactions on computers. - June 1984. - Vol. C-33. - Pp. 572-575.
22. Jha N. K. A systematic code for detecting t-unidirectional errors / N. K. Jha, M. B. Vora // Proceedings of International symposium «Fault-Tolerant Computers», Pittsburg, PA, June 1987. - Pp. 96-101.
23. Parhami B. New class of unidirectional error-detection codes / B. Parhami // Proceed- ings of IEEE International conference on computer design : VLSI in computers and processors, 14-16 October 1991 (ICCD ‘9), Cambridge, MA. - Pp. 574-577.
24. 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.
25. 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, USA, California, 1999. - Pp. 370-376.
26. Блюдов А. А. Построение модифицированного кода Бергера с минимальным числом необнаруживаемых ошибок информационных разрядов / А. А. Блюдов, Д. В. Ефанов, Вал. В. Сапожников, Вл. В. Сапожников // Электронное моделирование. - 2012. - Т. 34. - № 6. - С. 17-29.
27. Blyudov A. Properties of code with summation for logical circuit test organization / A. Blyudov, D. Efanov, Val. Sapozhnikov, Vl. Sapozhnikov // Proceedings of 10th IEEE east-west design & test symposium (EWDTS`2012), Kharkov, Ukraine, September 14-17, 2012. - Pp. 114-117.
28. Das D. Low cost concurrent error detection based on modulo weight-based codes / D. Das, N.A. Touba, M. Seuring, M. Gossel // Proceedings of IEEE 6th International on-line testing workshop (IOLTW), Spain, Palma de Mallorca, July 3-5, 2000. - Pp. 171-176.
29. Сапожников Вал. В. Оптимальный систематический код на основе взвешивания разрядов информационных векторов и суммирования без переносов для систем функционального контроля / Вал. В. Сапожников, Вл. В. Сапожников, Д. В. Ефанов, В. В. Дмитриев, Ц. Хуан // Известия Петербургского университета путей сообщения. - 2016. - № 1. - С. 75-84.
30. Sapozhnikov Val. Weighted sum code without carries - is an optimum code with detection of any double errors in data vectors / Val. Sapozhnikov, Vl. Sapozhnikov, D. Efanov, V. Dmitriev // Proceedings of 14th IEEE east-west design & test symposium (EWDTS`2016), Yerevan, Armenia, October 14-17, 2016. - Pp. 134-141.
31. Collection of digital design benchmarks. - URL : http://ddd.fit.cvut.cz/prj/Benchmarks.
32. Yang S. Logic synthesis and optimization benchmarks : User guide : Version 3.0 / S. Yang. - Microelectronics center of north carolina (MCNC), 1991. - 88 p.
