Публікація: Диагностирование HDL-моделей микропрограммных автоматов
Завантаження...
Дата
2015
Назва журналу
ISSN журналу
Назва тома
Видавництво
Научно-технический журнал : Автоматизированные системы управления и приборы автоматики
Анотація
Опис
Рассматриваются методы поиска ошибок проектирования в HDL-моделях микропрог-
раммных автоматов. Исходное описание автомата представляется композицией операци-
онного и управляющего автоматов, которая описывается содержательной граф-схемой
алгоритма. HDL-модель управляющего автомата дана в форме двухпроцессного автомат-
ного шаблона автомата Мура. Диагностический эксперимент проводится путем обхода
всех дуг графа переходов управляющего автомата, начиная от начальной вершины, путем
эмуляции функций операционного автомата в системе верификации HDL-моделей
(TestBench) в среде проектирования Active–HDL.
Ключові слова
автомат, диагностический эксперимент
Бібліографічний опис
Шкиль А.С. Диагностирование HDL-моделей микропрограммных автоматов/ А.С. Шкиль, Э.Н. Кулак, А.С. Серокурвоа // АСУ и приборы автоматики : всеукр. межвед. науч.-техн. сб. – Харьков : Изд-во ХНУРЭ, 2014. – Вып. 172. – С. 22–31.