Диагностирование HDL-моделей микропрограммных автоматов

Шкиль, А. С.; Кулак, Э. Н.; Серокурова, А. С.

Публікація:
Диагностирование HDL-моделей микропрограммных автоматов

dc.contributor.author	Шкиль, А. С.
dc.contributor.author	Кулак, Э. Н.
dc.contributor.author	Серокурова, А. С.
dc.date.accessioned	2017-06-13T16:10:34Z
dc.date.available	2017-06-13T16:10:34Z
dc.date.issued	2015
dc.description	Рассматриваются методы поиска ошибок проектирования в HDL-моделях микропрограммных автоматов. Исходное описание автомата представляется композицией операционного и управляющего автоматов, которая описывается содержательной граф-схемой алгоритма. HDL-модель управляющего автомата дана в форме двухпроцессного автоматного шаблона автомата Мура. Диагностический эксперимент проводится путем обхода всех дуг графа переходов управляющего автомата, начиная от начальной вершины, путем эмуляции функций операционного автомата в системе верификации HDL-моделей (TestBench) в среде проектирования Active–HDL.	uk_UA
dc.identifier.citation	Шкиль А.С. Диагностирование HDL-моделей микропрограммных автоматов/ А.С. Шкиль, Э.Н. Кулак, А.С. Серокурвоа // АСУ и приборы автоматики : всеукр. межвед. науч.-техн. сб. – Харьков : Изд-во ХНУРЭ, 2014. – Вып. 172. – С. 22–31.	uk_UA
dc.identifier.uri	http://openarchive.nure.ua/handle/document/3876
dc.language.iso	ru	uk_UA
dc.publisher	ХНУРЕ	uk_UA
dc.subject	диагностический эксперимент	uk_UA
dc.title	Диагностирование HDL-моделей микропрограммных автоматов	uk_UA
dspace.entity.type	Publication