Методи синтезу легкотестованих цифрових пристроїв і систем

Автор(и)

  • М. А. МИРОШНИК Украинский государственный университет железнодорожного транспорта, Україна
  • Ю. В. ПАХОМОВ Харьковский национальный университет городского хозяйства,
  • А. С. ГРЕБЕНЮК Харьковский национальный университет радиоэлектроники,
  • И. В. ФИЛИППЕНКО Харьковский национальный университет радиоэлектроники,

DOI:

https://doi.org/10.18664/ikszt.v0i5.82457

Ключові слова:

дискретні пристрої, методи синтезу, легкотестовані пристрої, цифрові пристрої і системи

Анотація

В роботі розроблений метод перетворення таблиці переходів-виходів дискретних пристроїв шляхом введення додаткового вхідного символу і кодування станів автомата, що забезпечує для цього символу функцію переходів автоматної діаграми зсувного регістру, і метод знаходження гамільтонових циклів у графі переходів зсувного регістру з заданим числом станів, який породжує лічильникові виконавчі послідовності, що формуються зсувним регістром з нелінійними зворотними зв'язками. Запропонована процедура синтезу легкотестованих схем з використанням керованих мультиплексорів.

Обгрунтовано застосування запропонованого методу модифікації автоматних діаграм для реалізації легкотестованих модулів убудованих засобів діагностування.

 

Біографії авторів

М. А. МИРОШНИК, Украинский государственный университет железнодорожного транспорта

доктор технических наук, профессор 

Ю. В. ПАХОМОВ, Харьковский национальный университет городского хозяйства

ассистент

А. С. ГРЕБЕНЮК, Харьковский национальный университет радиоэлектроники

аспирантка кафедры АПВТ 

И. В. ФИЛИППЕНКО, Харьковский национальный университет радиоэлектроники

кандидат технических наук, доцент 

Посилання

Горяшко, А. П. Логические схемы и реальные ограничения: методы синтеза, оценка сложности [Текст] / А.П. Горяшко. – М.: Энергоиздат, 1982. - 184 с.

Основы технической диагностики [Текст] / [под ред. П.П. Пархоменко, Е.С. Согомонян]. – М.: Энергия, 1981. – 320 с.

Рейнгольд, Э., Комбинаторные алгоритмы [Текст] / Э. Рейнгольд, Ю. Нивергельт, Н. Део. – М.: Мир, 1980. – 476 с.

Беличенко, Т. П. Нахождение кратчайшей различающей последовательности для конечного автомата [Текст] / Т.П. Беличенко, Г.И. Белов, Л.В. Дербунович. – в кн.: Гибрид, вычислит, машины и комплексы. – К.: Наукова думка, 1980. – С. 36-39.

Белов, Г. И. Синтез контролепригодных дискретных устройств с элементами памяти [Текст] / Г.И. Белов, Л.В. Дербунович. – в кн.: Техническая диагностика, эксплуатация управляющих и вычислительных машин. – К.: Наукова думка, 1980. – С. 76-85.

Балашов, Е. П. Проектирование процессорных модулей на основе интегральной элементно-технологической базы [Текст] / Е.П. Балашов, B.Е. Кочетков, Д.В. Пузанков // Приборы и системы управления. – 1980. - № 9. -С. 14-17.

Бережная, М. А. Синтез синдромно-тестируемых логических контроллеров. Ч. 2: Примеры синтеза легкотестируемых схем [Текст] / М.А. Бережная, Д.А. Татаренко // Інформаційно-керуючі системи на залізничному транспорті. – 2005. – №3 (53). – С. 49-53.

Бережная, М. А. Синтез дискретных устройств методом последовательной декомпозиции автоматных моделей [Текст] / М.А. Бережная, Л.В. Дербунович, Я.Ю. Королева, М.Г. Рыжиковая // Вестник НТУ “ХПИ”. Сб. науч. тр. Тем. выпуск: Информатика и моделирование. – Харьков: НТУ “ХПИ”, – 2007. – № 36. – С. 16-25.

Бережная, М. А. Синтез проверяющих тестов для однородных структур на основе циклических отличительных последовательностей [Текст] / М.А. Бережная, Л.В. Дербунович, Я.Ю. Королева, М.Г. Рыжиковая // Інформаційно-керуючі системи на залізничному транспорті. – 2008. – № 4. – С. 29–33.

Мирошник, M. А. Синтез проверяющих тестов для телекоммуникационных сетей на основе циклических отличительных последовательностей [Текст] / М.А. Мирошник, Я.Ю. Королева // Системи обробки інформації. Інформаційні проблеми акустичних, радіоелектронних та телекомунікаційних систем. – 2012. – Вип. 6 (104). – С. 108-113.

Miroshnik, M. Design of a built-in diagnostic infrastructure for fault-tolerant telecommunication systems Miroshnik, M.; Zagarij, G.; Derbunovich, L. Modern Problems of Radio Engineering Telecommunications and Computer Science (TCSET), 2012 International Conference on Year: 2012 Pages: 384 – 384 IEEE Conference Publications.

##submission.downloads##

Опубліковано

2016-10-28