ISSN 0021-3454 (печатная версия)
ISSN 2500-0381 (онлайн версия)
Меню

2
Содержание
том 67 / Февраль, 2024
СТАТЬЯ

DOI 10.17586/0021-3454-2016-59-7-524-533

УДК 681.518.5:004.052.32

МЕТОД ФУНКЦИОНАЛЬНОГО КОНТРОЛЯ КОМБИНАЦИОННЫХ ЛОГИЧЕСКИХ УСТРОЙСТВ НА ОСНОВЕ КОДА „2 ИЗ 4“

Сапожников В. В.
ПГУПС; профессор, кафедра автоматики и телемеханики на железных дорогах


Сапожников В. В.
ПГУПС; профессор, кафедра автоматики и телемеханики на железных дорогах


Ефанов Д. В.
ПГУПС; кафедра автоматики и телемеханики на железных дорогах


Читать статью полностью 

Аннотация. Предложен метод построения систем функционального контроля, позволяющий уменьшать показатели их структурной избыточности по сравнению с известными способами. Решение найдено за счет использования при организации системы функционального контроля равновесных кодов. Предложена структурная схема системы функционального контроля комбинационных устройств, реализующая принцип логического дополнения булевых функций, на основе применения равновесного кода „2 из 4“. Указаны особенности, которые необходимо учитывать при организации структур систем функционального контроля как на основе кода „1 из 4“, так и на основе кода „2 из 4“ с обеспечением свойства их полной самопроверяемости. Показаны преимущества использования кода „2 из 4“ по сравнению кодом „1 из 4“ при организации систем функционального контроля комбинационных устройств. В частности, отмечено, что для обеспечения свойства полной самопроверяемости системы функционального контроля на основе кода „2 из 4“ требуются менее жесткие ограничения, чем при использовании для этих целей кода „1 из 4“. 
Ключевые слова: система функционального контроля, логическое дополнение, код „1 из 4“, код „2 из 4“, полностью самопроверяемая структура, тестирование

Список литературы:
  1. Пархоменко П. П., Согомонян Е. С. Основы технической диагностики (оптимизация алгоритмов диагностирования, аппаратурные средства). М.: Энергоатомиздат, 1981. 320 с.
  2. Сапожников В. В., Сапожников Вл. В. Самопроверяемые дискретные устройства. СПб: Энергоатомиздат, 1992. 224 с.
  3. Goessel M., Saposhnikov Vl., Saposhnikov V., Dmitriev A. A new method for concurrent checking by use of a 1-out-of-4 code // Proc. of the 6th IEEE Intern. On-line Testing Workshop. Palma de Mallorca, Spain, July 3—5, 2000. P. 147—152.
  4. Сапожников В. В., Сапожников Вл. В., Дмитриев А. В., Морозов А. В., Гессель М. Организация функционального контроля комбинационных схем методом логического дополнения // Электронное моделирование. 2002. Т. 24, № 6. С. 51—66.
  5. Гессель М., Морозов А. В., Сапожников В. В., Сапожников Вл. В. Логическое дополнение — новый метод контроля комбинационных схем // Автоматика и телемеханика. 2003. № 1. С. 167—176.
  6. Göessel M., Ocheretny V., Sogomonyan E., Marienfeld D. New Methods of Concurrent Checking. Dordrecht: Springer Science+Business Media B.V., 2008. 184 p.
  7. Das D. K., Roy S. S., Dmitiriev A., Morozov A., Gössel M. constraint don’t cares for optimizing designs for concurrent checking by 1-out-of-3 codes // Proc. of the 10th Intern. Workshops on Boolean Problems. Freiberg, Germany, September, 2012. P. 33—40.
  8. Nicolaidis M., Zorian Y. On-line testing for VLSI — а compendium of approaches // J. of Electronic Testing: Theory and Applications. 1998. N 12. P. 7—20.
  9. Mitra S., McClaskey E. J. Which concurrent error detection scheme to сhoose? // Proc. of Intern. Test Conf. Atlantic City, NJ, USA, 3—5 October 2000. P. 985—994.
  10. Matrosova A. Yu., Levin I., Ostanin S. A. Self-checking synchronous FSM network design with low overhead // VLSI Design. 2000. Vol. 11, Is. 1. P. 47—58.
  11. Ефанов Д. В., Сапожников В. В., Сапожников Вл. В. О свойствах кода с суммированием в схемах функционального контроля // Автоматика и телемеханика. 2010. № 6. С. 155—162.
  12. Сапожников В. В., Сапожников Вл. В., Ефанов Д. В. Применение кодов с суммированием при синтезе систем железнодорожной автоматики и телемеханики на программируемых логических интегральных схемах // Автоматика на транспорте. 2015. Т. 1, № 1. С. 84—107. 
  13. Saposhnikov V. V., Saposhnikov Vl. V., Morozov A., Osadtchi G., Gossel M. Design of totally self-checking combinational circuits by use of complementary circuits // Proc. of East-West Design & Test Workshop. Yalta, Ukraine, 2004. P. 83—87.
  14. Гессель М., Морозов А. В., Сапожников В. В., Сапожников Вл. В. Контроль комбинационных схем методом логического дополнения // Автоматика и телемеханика. 2005. № 8. С. 161—172.
  15. Sen S. K., Roy S. S. An optimized concurrent self-checker using constraint-don’t cares and 1-out-of-4 code // National Conf. (AECDISC-2008). Asansol Engineering College, 1—2 August 2008.
  16. Sen S. K., Roy S. S. A self-checking circuit for concurrent checking by 1-out-of-4 code with design optimization using constraint don’t cares // National Conf. on Emerging trends and advances in Electrical Engineering and Renewable Energy (NCEEERE 2008). Sikkim Manipal Institute of Technology, Sikkim, 22—24 December 2008.
  17. Halder S., Roy S. S., Sen S. K. An optimized concurrent self-checker using constraint-don’t cares and 1-out-of-4 code // National Conf. (AECDISC-2010). Asansol Engineering College, 1—2 August 2010.
  18. Sen S. K. A self-checking circuit for concurrent checking by 1-out-of-4 code with design optimization using constraint don’t cares // National Conf. on Emerging trends and advances in Electrical Engineering and Renewable Energy (NCEEERE 2010). Sikkim Manipal Institute of Technology, Sikkim, 22—24 December 2010.
  19. Аксёнова Г. П. Необходимые и достаточные условия построения полностью проверяемых схем свертки по модулю 2 // Автоматика и телемеханика. 1979. № 9. С. 126—135.