Шкіль, О. С.Кулак, Е. М.Філліпенко, І. В.Шакура, О. Г.Фоменко, В. В.2020-06-042020-06-042019Аналіз коректності графів переходів керуючих автоматів при побудові HDL-моделей для автоматизованого синтезу / О. С. Шкіль, Е. М. Кулак, І. В. Філіппенко та ін. // Радіоелектроніка та інформатика. - 2019. - № 1. - С. 38-34.http://openarchive.nure.ua/handle/document/11982Розглядається аналіз коректності умов переходів у графових моделях керуючих автоматів, представлених у вигляді HDL-моделей, з точки зору подальшого автоматизованого синтезу. Пропонується метод аналізу графа переходів, що дозволяє отримати ненадлишкову та коректну в запам'ятовуючій частині схемну реалізацію при синтезі HDL-моделі кінцевого автомата.ukкінцевий автоматграф переходівHDL-модельавтоматизований синтезортогональна булева функціяArticle