Публікація:
Автоматизация поиска ошибок проектирования в HDL-моделях конечных автоматов

Завантаження...
Зображення мініатюри

Дата

2014

Назва журналу

ISSN журналу

Назва тома

Видавництво

Научно-технический журнал : Автоматизированные системы управления и приборы автоматики

Дослідницькі проекти

Організаційні підрозділи

Видання журналу

Анотація

Опис

Предлагается автоматизация диагностирования HDL-моделей конечных автоматов с использованием программы ASFTEST. Рассматривается вариант восстановления графа переходов по HDL-модели автомата в форме автоматного шаблона и анализ обхода всех дуг графа для поиска ошибок проектирования.

Ключові слова

эксперимент, автоматизация, эквивалентность

Бібліографічний опис

Шкиль А.С. Автоматизация поиска ошибок проектирования в HDL-моделях конечных автоматов / А.С. Шкиль, Г.П, Фастовец, А.С. Серокурвоа // АСУ и приборы автоматики : всеукр. межвед. науч.-техн. сб. – Харьков : Изд-во ХНУРЭ, 2014. – Вып. 168. – С. 43–52.

DOI