Методи автоматизації проектування легкотестованих комп'ютерних систем і пристроїв на основі цифрових автоматів
DOI:
https://doi.org/10.18664/ikszt.v0i4.141711Ключові слова:
керуючий автомат, таблиця переходів-виходів, зсувний регістр, сканований шлях, мова опису апаратури, САПР, Active-HDL, XILINX ISEАнотація
Подано вдосконалені методи проектування легкотестованих цифрових пристроїв і математична модель кінцевих керуючих автоматів мовами опису апаратури. Актуальність роботи полягає в забезпеченні мінімальних додаткових витрат апаратури при автоматизованому проектуванні легкотестованих цифрових пристроїв, представлених моделями кінцевих керуючих автоматів мовами опису апаратури. Мета роботи полягає в розробленні процедури побудови моделей легкотестованих керуючих автоматів мовами опису апаратури та оцінюванні апаратурних витрат для різних способів введення апаратурної надмірності в HDL-моделі автоматів.
Посилання
Беннеттс, Р. Дж. Проектирование тестопригодных логических схем [Текст] : пер. с англ. / Р. Дж. Беннеттс. – М. : Радио и связь, 1990. –176 с.
Пархоменко, П. П. Основы технической диагностики (Оптимизация алгоритмов диагностирования, аппаратурные средства) [Текст] / П. П. Пархоменко, Е. С. Согомонян; под ред. П. П. Пархоменко. – М. : Энергия, 1981. – 320 с.
Горяшко, А. П. Проектирование легкотестируемых дискретных устройств: идеи, методы, реализация [Текст] / А. П. Горяшко //Автоматика и телемеханика. – 1984. – № 7. – С. 5–35.
Stroud, C.E. A designer’s guide to built-in self-test [Теxt] / Charles E. Stroud. – Kluwer Academic Publishing, 2002. – 319 p.
Городецкий, А. Введение в технологии JTAG и DFT. Тестирование в технологиях граничного сканирования и тестопригодное проектирование [Текст] / Ами Городецкий. – Palmarium Academic Publishing, Germany, 2012. – 308 с.
Mosin, S. Methodology to Design-For-Test Automation for Mixed Signal Integrated Circuit [Text] / S. Mosin // Proceedings of the International Symposium. EWDTS'2013, September 27-30, Rostov on Don, Russia, 2013. – P.178–183.
Тоценко, В. Г. Алгоритмы технического диагностирования цифровых устройств [Текст] / В. Г. Тоценко. – М. : Радио и связь, 1985. – 240 с.
Practical Methods for de Bruijn sequences Generation using Non-Linear Feedback Shift Registers [Text] /
O. Demihev, M. Mіrosсhnyk, D. Karaman, I. Filippenko, V. Krylova, T. Korytchinko // 14th IEEE International Conference on Advanced Trends in Radioelectronics, Telecommunications and Computer Engineering, Lviv-Slavske, Ukraine, 2018/2. – Р. 35.
Solov’ev, V. V. Minimization of mealy finite-state machines by using the values of the output variables for state assignment [Text] / V. V. Solov’ev // Journal of Computer and Systems Sciences International. – January 2017. – Volume 56, Issue 1. – Р. 96–104.
Solov’ev, V. V. Minimization of Power Consumption of Finite State Machines by Splitting Their Internal States [Text] / V. V. Solov’ev, T. N. Grzes // Journal of Computer and Systems Sciences International. – 2015. – Vol. 54, No. 3. – Р. 367–374.
Мирошник, М. А. Проектирование диагностической инфраструктуры вычислительных систем и устройств на ПЛИС [Текст] : монография / М. А. Мирошник. – Харьков : ХУПС, 2012. – 188 с.
Шкиль, А. С. Автоматизация поиска ошибок проектирования в HDL-моделях конечных автоматов [Текст] / А. С. Шкиль, Г. П. Фастовец, А. С. Серокурова // АСУ и приборы автоматики. – 2014. – Вып. 168. – С. 43-52.
Miroshnyk, М.А. Design automation of testable finite state machines [Text] / М. А. Miroshnyk, D. E. Kucherenko, Yu. V. Pahomov // 15th IEEE EAST-WEST DESIGN & TEST SYMPOSIUM (EWDTS-2017). Харьковский национальный университет радиоэлектроники. – 2017. –
Р. 203-208.
Synchronizing Sequences For Verification Of Finite State Machines [Text] / А. S. Grebenyuk, М. А. Miroshnik, А. S. Shkil, E. N. Kulak, I. V. Filippenko, D. Y. Kucherenko // 9th IEEE International Conference on Dependable Systems, Services and Technologies (DESSERT’2018)
May 24 - 27, 2018/5.
Методы синтеза легкотестируемых цифровых автоматов [Текст] / М. А. Мирошник, Ю. В. Пахомов А. С. Гребенюк, И. В. Филиппенко // Інформаційно-керуючі системи на залізничному транспорті. – 2016. – № 5. – C. 28-39.
Опубліковано
Номер
Розділ
Ліцензія
Авторське право (c) 2018 М. A. МИРОШНИК, Л. А. КЛИМЕНКО, Ю. В. ПАХОМОВ
Ця робота ліцензується відповідно до Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License.
