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 |
| Appears in Collections: | № 4 (додаток) |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| Мирошник.pdf | 2.72 MB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.