Шкиль, А. С.Мирошник, М. А.Кулак, Э. Н.Гребенюк, А. С.Кучеренко, Д. Е.2020-06-172020-06-172016Обнаружение ошибок проектирования в hdl-моделях конечных автоматов с использованием синхронизирующих последовательностей / А. С. Шкиль, М. А. Мирошник, Э. Н. Кулак, А. С. Гребенюк, Д. Е. Кучеренко // Радиоэлектроника и информатика : науч.-техн. журн. – 2016. – Вып. 3. – С. 39–46.http://openarchive.nure.ua/handle/document/12206Предлагается метод обнаружения и локализации ошибок проектирования в HDL-моделях конечных автоматов с произвольными функциями выходов. Диагностический эксперимент проводится путем обхода всех дуг автомата Мили, начиная с начальной вершины, в том числе для автоматов неисключительного класса. Для обеспечения возврата автомата с возможной ошибкой проектирования в начальное состояние предлагается использовать синхронизирующие последовательности.ruавтомат Миликонечный автоматдиагностический экспериментArticle