Публікація: Автоматизация поиска ошибок проектирования в HDL-моделях конечных автоматов
Завантаження...
Дата
2014
Назва журналу
ISSN журналу
Назва тома
Видавництво
Научно-технический журнал : Автоматизированные системы управления и приборы автоматики
Анотація
Опис
Предлагается автоматизация диагностирования HDL-моделей конечных автоматов с использованием программы ASFTEST. Рассматривается вариант восстановления графа переходов по HDL-модели автомата в форме автоматного шаблона и анализ обхода всех дуг графа для поиска ошибок проектирования.
Ключові слова
эксперимент, эквивалентность
Бібліографічний опис
Шкиль А. С. Автоматизация поиска ошибок проектирования в HDL-моделях конечных автоматов / А. С. Шкиль, Г. П, Фастовец, А. С. Серокурвоа // АСУ и приборы автоматики : всеукр. межвед. науч.-техн. сб. – Харьков : Изд-во ХНУРЭ, 2014. – Вып. 168. – С. 43–52.