Please use this identifier to cite or link to this item: http://openarchive.nure.ua/handle/document/3870
Title: Автоматизация поиска ошибок проектирования в HDL-моделях конечных автоматов
Authors: Шкиль, А. С.
Фастовец, Г. П.
Серокурова, А. С.
Keywords: эксперимент
автоматизация
эквивалентность
Issue Date: 2014
Publisher: Научно-технический журнал : Автоматизированные системы управления и приборы автоматики
Citation: Шкиль А.С. Автоматизация поиска ошибок проектирования в HDL-моделях конечных автоматов / А.С. Шкиль, Г.П, Фастовец, А.С. Серокурвоа // АСУ и приборы автоматики : всеукр. межвед. науч.-техн. сб. – Харьков : Изд-во ХНУРЭ, 2014. – Вып. 168. – С. 43–52.
Description: Предлагается автоматизация диагностирования HDL-моделей конечных автоматов с использованием программы ASFTEST. Рассматривается вариант восстановления графа переходов по HDL-модели автомата в форме автоматного шаблона и анализ обхода всех дуг графа для поиска ошибок проектирования.
URI: http://openarchive.nure.ua/handle/document/3870
Appears in Collections:Кафедра автоматизації проектування обчислювальної техніки (АПОТ)

Files in This Item:
File Description SizeFormat 
А.С ШКИЛЬ, Г.П.ФАСТОВЕЦ, А.С.СЕРОКУРОВА.pdf752.86 kBAdobe PDFView/Open


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