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

Автор(и)

DOI:

https://doi.org/10.18664/ikszt.v30i2.335451

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

граф переходів, умови переходів, керуючий автомат, автоматизований синтез, HDLмодель, компілятор САПР

Анотація

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

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

Марина Мірошник, Харківський національний університет імені В. Н. Каразіна

д-р техн. наук, професор, професор кафедри комп’ютерних систем та робототехніки

Ельвіра Кулак, Харківський національний університет радіоелектроніки

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

Любов Клименко, Український державний університет залізничного транспорту

канд. техн. наук, доцент, доцент кафедри спеціалізованих комп’ютерних систем

Анатолій Мірошник, Харківський національний університет радіоелектроніки

канд. техн. наук, старш. викл. кафедри автоматизації проектування обчислювальної техніки

Посилання

Кривуля Г. Ф., Рябенький В. М., Рязанцев О. І. Комп’ютерна схемотехніка: підручник. Луганськ : СНУ ім. В. Даля, 2009. 744 с.

Борисенко О. А. Цифрова схемотехніка: підручник. Суми : Сумський державний університет, 2016. 200 с.

Volnei A. P. Finite state machines in hardware : theory and design (with VHDL and SystemVerilog). The MIT Press Cambridge, 2013. 349 р.

Аналіз коректності графів переходів керуючих автоматів при побудові hdl-моделей для автоматизованого синтезу / О. С. Шкіль, Е. М. Кулак, І. В. Філіппенко та ін. Радиоэлектроника и информатика. 2019. № 1 [84]. С. 28-34.

Рудий Т. В., Паранчук Я. С., Сеник В. В. Алгоритмізація та програмування : навч. посіб. Ч. 1. Структурне програмування. Львів : Львівський державний університет внутрішніх справ, 2023. 240 с.

Мірошник М. А., Курцев М. С. Автоматизація проектування вбудованих систем і програмних засобів на ПЛІС мовою опису апаратури : навч. посіб. Харків : УкрДУЗТ, 2021. 332 с.

Мірошник М. А., Клименко Л. А., Корольова Я. Ю. Технології та автоматизація проєктування цифрових пристроїв складних комп’ютерних систем на ПЛІС: навч. посіб. Харків: УкрДУЗТ, 2021. 220 с.

Автоматизированное проектирование систем логического управления с использованием шаблонов автоматного программирования / А. С. Шкиль, Э. Н. Кулак, И. В. Филиппенко и др. Радіоелектроніка та інформатика. 2018. № 3. С. 75-81.

Кораблев Н. М., Кулак Э. Н., Шакура А. Г. Подсистема синтеза конечных микрокомандных автоматов. Матеріали ІХ Міжнар. наук.-техн. конф. «Сучасні напрями розвитку інформаційно-комунікаційних технологій та засобів управління», Баку – Харків – Жиліна, 11-12 квітня 2019 р. 43 c.

Кулак Е. М., Погудін О. О., Кулак Г. К. Метод пошуку помилок в умовах переходів графових моделей керуючих автоматів. Тези доповідей VIII Міжнар. наук.-техн. конф. «Проблеми інформатизації», Черкаси – Харків – Баку – Бельско-Бяла, 26-27 листопада 2020 р. С. 53.

##submission.downloads##

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

2025-08-20

Номер

Том 30 № 2 (2025): Інформаційно-керуючі системи на залізничному транспорті

Розділ

Статті

Ліцензія

Creative Commons License

Ця робота ліцензується відповідно до Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License.