Публікація: Обнаружение ошибок проектирования в hdl-моделях конечных автоматов с использованием синхронизирующих последовательностей
Завантаження...
Дата
2016
Назва журналу
ISSN журналу
Назва тома
Видавництво
ХНУРЭ
Анотація
Предлагается метод обнаружения и локализации ошибок проектирования в HDL-моделях конечных автоматов с произвольными функциями выходов. Диагностический эксперимент проводится путем обхода всех дуг автомата Мили, начиная с начальной вершины, в том числе для автоматов неисключительного класса. Для обеспечения возврата автомата с возможной ошибкой проектирования в начальное состояние предлагается использовать синхронизирующие последовательности.
Опис
Ключові слова
автомат Мили, конечный автомат, диагностический эксперимент
Бібліографічний опис
Обнаружение ошибок проектирования в hdl-моделях конечных автоматов с использованием синхронизирующих последовательностей / А. С. Шкиль, М. А. Мирошник, Э. Н. Кулак, А. С. Гребенюк, Д. Е. Кучеренко // Радиоэлектроника и информатика : науч.-техн. журн. – 2016. – Вып. 3. – С. 39–46.