Аналіз коректності графів переходів керуючих автоматів при побудові HDL-моделей для автоматизованого синтезу

Abstract

Розглядається аналіз коректності умов переходів у графових моделях керуючих автоматів, представлених у вигляді HDL-моделей, з точки зору подальшого автоматизованого синтезу. Пропонується метод аналізу графа переходів, що дозволяє отримати ненадлишкову та коректну в запам'ятовуючій частині схемну реалізацію при синтезі HDL-моделі кінцевого автомата.