Обнаружение ошибок проектирования в hdl-моделях конечных автоматов с использованием синхронизирующих последовательностей
Journal Title: Радиоэлектроника и информатика - Year 2016, Vol 3, Issue 3
Abstract
Предлагается метод обнаружения и локализации ошибок проектирования в HDL-моделях конечных автоматов с произвольными функциями выходов. Диагностический эксперимент проводится путем обхода всех дуг автомата Мили, начиная с начальной вершины, в том числе для автоматов неисключительного класса. Для обеспечения возврата автомата с возможной ошибкой проектирования в начальное состояние предлагается использовать синхронизирующие последовательности.
Authors and Affiliations
Александр Шкиль, Марина Анатольевна Мирошник, Эльвира Николаевна, Кулак, Анна Сергеевна Гребенюк, Дария Ефимовна Кучеренко
Keywords
Related Articles
- EP ID EP580170
- DOI -
- Views 113
- Downloads 0
Технологии цифрового мониторинга и облачного управления киберфизическими социальными процессами
Показывается развитие моделей, методов, алгоритмов и программных средств создания цифровых систем управления наукой и образованием в университете за последние годы. Определяются узкие места и преимущества наиболее интере...
Applications of Multipath Routing for Energy Balancing in Sensor Networks
When designing a wireless sensor network (WSN) with autonomous nodes there emerges an issue how to provide the maximum duration of its life. For this purpose the use of multipath routing with support of the regime of ene...
Проблемные аспекты дистанционного видеосервиса в условиях кризисной ситуации
Проводится анализ проблемных аспектов существующих методов обработки изображений на борту летательного аппарата, которые относятся к направлению поиска и сохранения семантической (информационной) составляющей аэрофотосни...
МЕТОД ВІДНОВЛЕННЯ МЕРЕЖІ У ВІРТУАЛІЗОВАНОМУ СЕРЕДОВИЩІ
Розглядається віртуалізація телекомунікаційної мережі. Описується метод динамічного відновлення вузлів з відмовою, який використовує евристичну модель для визначення оптимального місця міграції віртуалізованих функціона...
Optimum Sum Codes, that Effectively Detect the Errors of Low Multiplicities
The article provides the method of formation of the sum code with minimum total number of undetectable errors. The code, suggested by authors, has the same number of check bits, as a classic Berger code, but also has a b...