ДИАГНОСТИРОВАНИЕ HDL-МОДЕЛЕЙ МИКРОПРОГРАММНЫХ АВТОМАТОВ
Анотація
Рассматриваются методы поиска ошибок проектирования в HDL-моделях микропрограммных автоматов. Исходное описание автомата представляется композицией операционного и управляющего автоматов, которая описывается содержательной граф-схемой алгоритма. HDL-модель управляющего автомата дана в форме двухпроцессного автоматного шаблона автомата Мура. Диагностический эксперимент проводится путем обхода всех дуг графа переходов управляющего автомата, начиная от начальной вершины, путем эмуляции функций операционного автомата в системе верификации HDL-моделей (TestBench) в среде проектирования Active–HDL.
Посилання
Майоров С.А. Структура электронных вычислительных машин / С.А. Майоров, Г.И. Новиков. Л.: Машиностроение, 1979. 384 с.
Шкиль А.С. Модель процесса перехода от содержательного графа микропрограммы к графу автомата / А.С. Шкиль, В.И. Хаханов, Е.В. Ковалев // АСУ и приборы автоматики. 2000. Вып. 112. С. 112-120.
Шкиль А.С. Поиск ошибок проектирования в HDL-моделях цифровых автоматов / С. Альмадхоун, Е.Е. Сыревич, А.С. Шкиль // Вестник Херсонского государственного технического университета. 2013. №2 (46). С. 377-383.
Шкиль А.С. Автоматизация поиска ошибок проектирования в HDL-моделях конечных автоматов / А.С Шкиль, Г.П. Фастовец, А.С Серокурова // АСУ и приборы автоматики. 2014. Вып.168. С. 43-52.
UA 
EN 
