Please use this identifier to cite or link to this item: http://lib.kart.edu.ua/handle/123456789/11540
Title: Применение синхронизирующих последовательностей для проведения неразрушающего эксперимента по проверке конечных автоматов
Authors: Мирошник, Марина Анатольевна
Шкиль, А. С.
Рахлис, Д. Е.
Кулак, Э. Н.
Пахомов, Ю. В.
Issue Date: 2019
Publisher: Український державний університет залізничного транспорту
Citation: Мирошник М. А. Применение синхронизирующих последовательностей для проведения неразрушающего эксперимента по проверке конечных автоматов / М. А. Мирошник, А. С. Шкиль, Д. Е. Рахлис, Э. Н. Кулак, Ю. В. Пахомов // Інформаційно-керуючі системи на залізничному транспорті : тези стендових доповідей та виступів учасників 32-ї міжнародної науково-практичної конференції "Інформаційно-керуючі системи на залізничному транспорті" (Харків, 24-25 жовтня, 2019 р.). – 2019. – № 4 (додаток). – С. 15-16.
Abstract: Предложен метод обнаружения и локализации ошибок проектирования в HDL-моделях конечных автоматов (КА) с произвольными выходными функциями. Диагностический эксперимент (ДЕ) проводится в обход всех дуг автомата Мили, начиная с начальной вершины, в том числе для машин класса «неисключительный». Чтобы обеспечить возврат автомата с возможной ошибкой проектирования в исходное состояние, предлагается использовать синхронизирующие последовательности. ДЕ проводились в среде разработки Active-HDL.
URI: http://lib.kart.edu.ua/handle/123456789/11540
ISSN: 1681-4886 (рrint); 2413-3833 (online)
Appears in Collections:№ 4 (додаток)

Files in This Item:
File Description SizeFormat 
Мирошник.pdf2.72 MBAdobe PDFView/Open


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