Please use this identifier to cite or link to this item: http://openarchive.nure.ua/handle/document/12206
Title: Обнаружение ошибок проектирования в hdl-моделях конечных автоматов с использованием синхронизирующих последовательностей
Authors: Шкиль, А. С.
Мирошник, М. А.
Кулак, Э. Н.
Гребенюк, А. С.
Кучеренко, Д. Е.
Keywords: автомат Мили
конечный автомат
диагностический эксперимент
Issue Date: 2016
Publisher: ХНУРЭ
Citation: Обнаружение ошибок проектирования в hdl-моделях конечных автоматов с использованием синхронизирующих последовательностей / А. С. Шкиль, М. А. Мирошник, Э. Н. Кулак, А. С. Гребенюк, Д. Е. Кучеренко // Радиоэлектроника и информатика : науч.-техн. журн. – 2016. – Вып. 3. – С. 39–46.
Abstract: Предлагается метод обнаружения и локализации ошибок проектирования в HDL-моделях конечных автоматов с произвольными функциями выходов. Диагностический эксперимент проводится путем обхода всех дуг автомата Мили, начиная с начальной вершины, в том числе для автоматов неисключительного класса. Для обеспечения возврата автомата с возможной ошибкой проектирования в начальное состояние предлагается использовать синхронизирующие последовательности.
URI: http://openarchive.nure.ua/handle/document/12206
Appears in Collections:Радиоэлектроника и информатика

Files in This Item:
File Description SizeFormat 
ri_2016_3-39-46.pdf1.11 MBAdobe PDFView/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.