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

Шкиль, А. С.; Фастовец, Г. П.; Серокурова, А. С.

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

dc.contributor.author	Шкиль, А. С.
dc.contributor.author	Фастовец, Г. П.
dc.contributor.author	Серокурова, А. С.
dc.date.accessioned	2017-06-13T15:26:14Z
dc.date.available	2017-06-13T15:26:14Z
dc.date.issued	2014
dc.description	Предлагается автоматизация диагностирования HDL-моделей конечных автоматов с использованием программы ASFTEST. Рассматривается вариант восстановления графа переходов по HDL-модели автомата в форме автоматного шаблона и анализ обхода всех дуг графа для поиска ошибок проектирования.	uk_UA
dc.identifier.citation	Шкиль А.С. Автоматизация поиска ошибок проектирования в HDL-моделях конечных автоматов / А.С. Шкиль, Г.П, Фастовец, А.С. Серокурвоа // АСУ и приборы автоматики : всеукр. межвед. науч.-техн. сб. – Харьков : Изд-во ХНУРЭ, 2014. – Вып. 168. – С. 43–52.	uk_UA
dc.identifier.uri	http://openarchive.nure.ua/handle/document/3870
dc.language.iso	ru	uk_UA
dc.publisher	Научно-технический журнал : Автоматизированные системы управления и приборы автоматики	uk_UA
dc.subject	эксперимент	uk_UA
dc.subject	автоматизация	uk_UA
dc.subject	эквивалентность	uk_UA
dc.title	Автоматизация поиска ошибок проектирования в HDL-моделях конечных автоматов	uk_UA
dspace.entity.type	Publication