Публікація: Аналіз коректності графів переходів керуючих автоматів при побудові HDL-моделей для автоматизованого синтезу
Завантаження...
Дата
2019
Назва журналу
ISSN журналу
Назва тома
Видавництво
Анотація
Розглядається аналіз коректності умов переходів у графових моделях керуючих автоматів, представлених у вигляді HDL-моделей, з точки зору подальшого автоматизованого синтезу. Пропонується метод аналізу графа переходів, що дозволяє отримати ненадлишкову та коректну в запам'ятовуючій частині схемну реалізацію при синтезі HDL-моделі кінцевого автомата.
Опис
Ключові слова
кінцевий автомат, граф переходів, HDL-модель, автоматизований синтез, ортогональна булева функція
Бібліографічний опис
Аналіз коректності графів переходів керуючих автоматів при побудові HDL-моделей для автоматизованого синтезу / О. С. Шкіль, Е. М. Кулак, І. В. Філіппенко та ін. // Радіоелектроніка та інформатика. - 2019. - № 1. - С. 38-34.