АВТОМАТИЗАЦИЯ ДИАГНОСТИРОВАНИЯ HDL-МОДЕЛЕЙ КОНЕЧНЫХ АВТОМАТОВ
Ключевые слова:
HDL-модель, ошибка проектирования, Active-HDL, автоматный шаблон, TestBenchАннотация
В статье предложен подход к диагностированию HDL-моделей конечных автоматов с использованием программы ASFTEST в среде Active-HDL. Рассматривается вариант восстановления графа переходов по HDL-модели автомата в форме автоматного шаблона и анализ обхода всех дуг графа для поиска ошибок проектирования.
Библиографические ссылки
Shkil A.S. Search automation of design errors in the HDL-models of finite machines / A.S. Shkil, H.P.Phastovets, A.S.Sirokurova // ACS and automation devices. – 2014. –№168. – С. 43-52.
Загрузки
Опубликован
2021-04-05
Выпуск
Раздел
Статьи
Лицензия
Copyright (c) 2021 Шкиль А. С., Кулак Э. Н., Гребенюк А. С.
Это произведение доступно по лицензии Creative Commons «Attribution-NoDerivatives» («Атрибуция — Без производных произведений») 4.0 Всемирная.
