Обнаружение ошибок проектирования в hdl-моделях конечных автоматов с использованием синхронизирующих последовательностей

Шкиль, А. С.; Мирошник, М. А.; Кулак, Э. Н.; Гребенюк, А. С.; Кучеренко, Д. Е.

Публікація:
Обнаружение ошибок проектирования в hdl-моделях конечных автоматов с использованием синхронизирующих последовательностей

dc.contributor.author	Шкиль, А. С.
dc.contributor.author	Мирошник, М. А.
dc.contributor.author	Кулак, Э. Н.
dc.contributor.author	Гребенюк, А. С.
dc.contributor.author	Кучеренко, Д. Е.
dc.date.accessioned	2020-06-17T15:22:11Z
dc.date.available	2020-06-17T15:22:11Z
dc.date.issued	2016
dc.description.abstract	Предлагается метод обнаружения и локализации ошибок проектирования в HDL-моделях конечных автоматов с произвольными функциями выходов. Диагностический эксперимент проводится путем обхода всех дуг автомата Мили, начиная с начальной вершины, в том числе для автоматов неисключительного класса. Для обеспечения возврата автомата с возможной ошибкой проектирования в начальное состояние предлагается использовать синхронизирующие последовательности.	uk_UA
dc.identifier.citation	Обнаружение ошибок проектирования в hdl-моделях конечных автоматов с использованием синхронизирующих последовательностей / А. С. Шкиль, М. А. Мирошник, Э. Н. Кулак, А. С. Гребенюк, Д. Е. Кучеренко // Радиоэлектроника и информатика : науч.-техн. журн. – 2016. – Вып. 3. – С. 39–46.	uk_UA
dc.identifier.uri	http://openarchive.nure.ua/handle/document/12206
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
dc.type	Article	uk_UA
dspace.entity.type	Publication