Пошук академічних текстів

Інформація × Реєстраційний номер 2122U007072, Матеріали видань та локальних репозитаріїв Категорія Опубліковано, Стаття Назва роботи СИНТЕЗ МІКРОПРОГРАМНОГО АВТОМАТА З ОПЕРАЦІЙНИМ АВТОМАТОМ ПЕРЕХОДІВ ЗА ОПЕРАЦІЙНОЮ ТАБЛИЦЕЮ ПЕРЕХОДІВ Автор Баркалов О. О.Тітаренко Л. О.Бабаков Р. М.Barkalov A. A.Titarenko L. A.Babakov R. M. Дата публікації 17-10-2022 Постачальник інформації Журнал "Радіоелектроніка, інформатика, управління" (Національний університет "Запорізька політехніка") Першоджерело https://ric.zp.edu.ua/article/view/265752 Видання National University "Zaporizhzhia Polytechnic" Опис Актуальність. Розглянуто задачу формалізації опису мікропрограмного автомата, заснованого на принципі операційного перетворення кодів станів, за допомогою модифікованої таблиці переходів. Об'єктом дослідження була модель мікропрограмного автомата з операційним автоматом переходів. Мета роботи – розробка та дослідження способу формального завдання мікропрограмного автомата з операційним автоматом переходів у вигляді модифікованої таблиці переходів, що містить достатню інформацію для синтезу логічної схеми автомата в базисі програмувальних логічних пристроїв. Метод. Запропоновано новий спосіб представлення формального рішення задачі алгебраїчного синтезу мікропрограмного автомата з операційним автоматом переходів у вигляді операційної таблиці переходів. Ця таблиця є модифікацією прямої структурної таблиці, зазвичай використовуваної при синтезі мікропрограмних автоматів. Використання раніше відомого представлення формального вирішення задачі алгебраїчного синтезу у вигляді системи ізоморфізмів автоматних алгебр є надто формалізованим і ускладнює синтез логічної схеми автомата внаслідок роздільного опису функцій переходів і виходів. Показано, що структура мікропрограмного автомата з операційним автоматом переходів вимагає внесення до традиційної таблиці переходів інформації про множину інтерпретацій кодів станів і використовувані операції переходів. Зазначено, що запропонована операційна таблиця переходів містить достатню інформацію для синтезу логічної схеми автомата. Наведено приклад побудови операційної таблиці переходів для автомата, заданого граф-схемою імплементованого алгоритму керування. У прикладі показані різні методи інтерпретації кодів станів. Запропоновано порядок синтезу схеми формування кодів операцій переходів та схеми формування мікрооперацій за операційною таблицею переходів. Результати. Розглянуто приклад виконання основних етапів синтезу мікропрограмного автомата з операційним автоматом переходів за операційною таблицею переходів. Наведено приклади моделей синтезованого автомата мовою VHDL, які враховують особливості представлення моделей кінцевих автоматів у САПР Xilinx Vivado. Показано результати синтезу автомата за VHDL-моделями у базисі ПЛІС FPGA. Висновки. Проведені експерименти підтвердили достатність операційної таблиці переходів для опису мікропрограмного автомата з операційним перетворенням станів кодів з метою подальшого синтезу його логічної схеми. Перспективи подальших досліджень полягають у використанні запропонованої операційної таблиці переходів при розробці різних методів синтезу та оптимізації мікропрограмних автоматів з операційним перетворенням кодів станів. Додано в НРАТ 2026-02-27 Закрити