Search academic texts

Information × Registration Number 2122U007072, Article popup.category Опубліковано, Стаття Title SYNTHESIS OF THE FINITE STATE MACHINE WITH DATAPATH OF TRANSITIONS ACCORDING TO THE OPERATIONAL TABLE OF TRANSITIONS popup.author Баркалов О. О.Тітаренко Л. О.Бабаков Р. М.Barkalov A. A.Titarenko L. A.Babakov R. M. popup.publication 17-10-2022 popup.source_user Журнал "Радіоелектроніка, інформатика, управління" (Національний університет "Запорізька політехніка") popup.source https://ric.zp.edu.ua/article/view/265752 popup.publisher National University "Zaporizhzhia Polytechnic" Description Актуальність. Розглянуто задачу формалізації опису мікропрограмного автомата, заснованого на принципі операційного перетворення кодів станів, за допомогою модифікованої таблиці переходів. Об'єктом дослідження була модель мікропрограмного автомата з операційним автоматом переходів. Мета роботи – розробка та дослідження способу формального завдання мікропрограмного автомата з операційним автоматом переходів у вигляді модифікованої таблиці переходів, що містить достатню інформацію для синтезу логічної схеми автомата в базисі програмувальних логічних пристроїв. Метод. Запропоновано новий спосіб представлення формального рішення задачі алгебраїчного синтезу мікропрограмного автомата з операційним автоматом переходів у вигляді операційної таблиці переходів. Ця таблиця є модифікацією прямої структурної таблиці, зазвичай використовуваної при синтезі мікропрограмних автоматів. Використання раніше відомого представлення формального вирішення задачі алгебраїчного синтезу у вигляді системи ізоморфізмів автоматних алгебр є надто формалізованим і ускладнює синтез логічної схеми автомата внаслідок роздільного опису функцій переходів і виходів. Показано, що структура мікропрограмного автомата з операційним автоматом переходів вимагає внесення до традиційної таблиці переходів інформації про множину інтерпретацій кодів станів і використовувані операції переходів. Зазначено, що запропонована операційна таблиця переходів містить достатню інформацію для синтезу логічної схеми автомата. Наведено приклад побудови операційної таблиці переходів для автомата, заданого граф-схемою імплементованого алгоритму керування. У прикладі показані різні методи інтерпретації кодів станів. Запропоновано порядок синтезу схеми формування кодів операцій переходів та схеми формування мікрооперацій за операційною таблицею переходів. Результати. Розглянуто приклад виконання основних етапів синтезу мікропрограмного автомата з операційним автоматом переходів за операційною таблицею переходів. Наведено приклади моделей синтезованого автомата мовою VHDL, які враховують особливості представлення моделей кінцевих автоматів у САПР Xilinx Vivado. Показано результати синтезу автомата за VHDL-моделями у базисі ПЛІС FPGA. Висновки. Проведені експерименти підтвердили достатність операційної таблиці переходів для опису мікропрограмного автомата з операційним перетворенням станів кодів з метою подальшого синтезу його логічної схеми. Перспективи подальших досліджень полягають у використанні запропонованої операційної таблиці переходів при розробці різних методів синтезу та оптимізації мікропрограмних автоматів з операційним перетворенням кодів станів. popup.nrat_date 2026-02-27 Close