АВТОМАТИЗАЦИЯ ДИАГНОСТИРОВАНИЯ 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