| |
Обнаружение ошибок проектирования в HDL- моделях конечных автоматов с использованием синхронизирующих последовательностей [Текст] / А. С. Шкиль, М. А. Мирошник, Э. Н. Кулак [и др.]
// Радиоэлектроника и информатика. – 2016. – № 3. – С. 39-46.
Предлагается метод обнаружения и локализации ошибок проектирования в HDL-моделях конечных автоматов с произвольными функциями входов. Диагностический эксперимент проводится путем обхода всех дуг автомата Мили, начиная с начальной вершины, в том числе для автоматов неисключительного класса. |
