В.В. Сапожников, Вл.В. Сапожников, доктора техн. наук,
Д.В. Ефанов, канд. техн. наук
Федеральное государственное бюджетное образовательное учреждение высшего профессионального
образования «Петербургский государственный университет путей сообщения»,
(Российская Федерация, 190031, Санкт-Петербург, Московский пр., 9,
тел. (+7) 9117092164, (+7) (812) 4578579, e-mail:
АННОТАЦИЯ
Наведено результати досліджень кодів з підсумовуванням зважених інформаційних розряд ів при зберіганні числа контрольних розрядів таким, як у класичних кодів Бергера. Визначено класи кодів з основними властивостями кодів Бергера, які мають найменше серед відомих кодів число похибок, що не визначаються, в інформаційних розрядах.
КЛЮЧЕВЫЕ СЛОВА:
функциональный контроль, необнаруживаемая ошибка, вес информационного разряда, код Бергера, взвешенный код с суммированием, тестер, генератор.
СПИСОК ЛИТЕРАТУРЫ
1. Berger J.M. А note on Error Detecting Codes for Asymmetric Channels // Information and Control.— 1961.— Vol. 4, № 1. — P. 68—73.
2. Freiman C.V. Optimal Error Detection Codes for Completely Asymmetric Binary // Ibid.— 1962.— Vol. 5, № 1. — P. 64—71.
3. Pradhan D.K. Fault-Tolerant Computer System Design. — N-Y : Prentice Hall, 1996. — 560 p.
4. Сапожников В.В., Сапожников Вл.В. Самопроверяемые дискретные устройства. — СПб : Энергоатомиздат, 1992. — 224 с.
5. Goessel M., Graf S. Error Detection Circuits.— London: McGraw-Hill, 1994. — 261 p.
6. Lala P.K. Self-Checking and Fault-Tolerant Digital Design. — San Francisco : Morgan Kaufmann Publishers, 2001.— 216 p.
7. Fujiwara E. Code Design for Dependable Systems: Theory and Practical Applications. — John Wiley & Sons, 2006.— 720 p.
8. Ефанов Д.В., Сапожников В.В., Сапожников Вл.В. Освойствах кода с суммированием в схемах функционального контроля // Автоматика и телемеханика.— 2010.—№6 .— С. 155—162.
9. Блюдов А.А., Сапожников В.В., Сапожников Вл.В. Модифицированный код с суммированием для организации контроля комбинационных схем // Там же.—2012.—№1.—С. 169—177.
10. Blyudov A., Efanov D., Sapozhnikov V., Sapozhnikov Vl. Properties of Сode with Summation for Logical Circuit Test Organization // Proc. of the 10th IEEE East-West Design & Test Symposium (EWDTS'2012). Kharkov, Ukraine, September 14—17, 2012.—P. 114—117.
11. Блюдов А.А., Ефанов Д.В., Сапожников В.В., Сапожников Вл.В. Построение модифицированного кода Бергера с минимальным числом необнаруживаемых ошибок информационных разрядов // Электрон. моделирование.—2012.—34, № 6.—С. 17—29.
12. Блюдов А.А., Ефанов Д.В., Сапожников В.В., Сапожников Вл.В. Коды с суммированием для организации контроля комбинационных схем // Автоматика и телемеханика. — 2013. — № 6. — С. 153—164.
13. Bose B., Lin D. J. Systematic Unidirectional Error-Detection Codes // IEEE Trans. Comput. — 1985.— Vol. C —34. — P. 1026—1032.
14. Das, D., Touba N.A., Seuring M., GosselM. Low Cost Concurrent Error Detection Based on Modulo Weight-Based Codes // Proc. of the 6th IEEE International On-Line Testing Workshop (IOLTW). Spain, Palma de Mallorca, July 3—5, 2000. — P. 171—176.
15. Efanov D., Sapozhnikov V., Sapozhnikov Vl., Blyudov A. On the Problem of Selection of Code with Summation for Combinational Circuit Test Organization // Proc. of the 11th IEEE East-West Design & Test Symposium (EWDTS'2013). Rostov-on-Don, Russia, Sept. 27—30, 2013.— P. 261—266.
16. Das D., Touba N.A. Weight-Based Codes and Their Application to Concurrent Error Detection of Multilevel Circuits // Proc. of the 17th IEEE VLSI Test Symposium. USA, CA, Dana Point, April 25—29, 1999.— P. 370—376.
17. Ghosh S., Lai K.W., Jone W.B., Chang S.C. Scan Chain Fault Identification Using Weight-Based Codes for SoC Circuits // Proc. of the 13th Asian Test Symposium. Taiwan, Kenting, 15—17 Nov. 2004.— P. 210—215.
18. Favalli M., Metra C. Optimization of Error Detecting Codes for the Detection of Crosstalk Originated Errors // Design, Automation and Test in Europe (DATE). 13—16 March, 2001.—P. 290—296.
19. Ghosh S. Scan Chain Fault Identification Using Weight-Based Codes for SoC Circuits // Master's thesis, Dept. of ECECS. University of Cincinnati, Cincinnati, Ohio, USA, May, 2004.
20. Сапожников В.В., Сапожников Вл.В., Ефанов Д.В., Никитин Д.А. Метод построения кода Бергера с повышенной эффективностью обнаружения ошибок в информационных разрядах // Электрон. моделирование. — 2013. — 35, № 4. — С. 21—34.
21. Sapozhnikov V.V., Morozov A., Sapozhnikov Vl.V., Goessel M. A New Design Method for Self-Checking Unidirectional Combinational Circuits // J. of Electronic Testing: Theory and Applications.— 1998.— Vol. 12, № 2. — P. 41—53.
22. Матросова А.Ю., Останин С.А., Сингх В. Обнаружение несущественных путей логических схем на основе совместного анализа И-ИЛИ деревьев и SSBDD-графов // Автоматика и телемеханика. — 2013. — № 7. — С. 126—142.
23. Мельников А.Г., Сапожников В.В., Сапожников Вл.В. Синтез самопроверяющихся тестеров для кодов с суммированием // Проблемы передачи информации. —1986.—XXII, № 2. — С. 85—97.
24. Marouf M.A., Friedman A.D. Design of Self-Checking Checkers for Berger Codes // Proc. of the 8th Annual Intern. Conf. on Fault-Tolerant Computing. Toulouse, France.— 1978. — P. 179—183.
25. Piestrak S.J. Design of Self-Testing Checkers for Unidirectional Error Detecting Codes.—Wroclaw: Oficyna Wydawnicza Politechniki Wroclavskiej, 1995. — 111 p.
САПОЖНИКОВ Валерий Владимирович, д-р техн. наук, профессор кафедры «Автоматика и телемеханика на железных дорогах» Петербургского государственного университета путей сообщения. В 1963 г. окончил Ленинградский ин-т инженеров железнодорожного транспорта. Область научных исследований — надежностный синтез дискретных устройств, синтез безопасных систем, синтез самопроверяемых схем, техническая диагностика дискретных систем.
САПОЖНИКОВ Владимир Владимирович, д-р техн. наук, зав. кафедрой «Автоматика и телемеханика на железных дорогах» Петербургского государственного университета путей сообщения. В 1963 г. окончил Ленинградский ин-т инженеров железнодорожного транспорта. Область научных исследований — надежностный синтез дискретных устройств, синтез безопасных систем, синтез самопроверяемых схем, техническая диагностика дискретных
систем.
ЕФАНОВ Дмитрий Викторович, канд. техн. наук, доцент кафедры «Автоматика и телемеханика на железных дорогах» Петербургского государственного университета путей сообщения, который окончил в 2007 г. Область научных исследований—дискретная математика, надежность и техническая диагностика дискретных систем.