Диагностирование модели цифрового устройства, характеристика различающих последовательностей. Использование графового представления описания устройства на HDL. Особенности метода поиска дефектов/ошибок проектирования при верификации HDL-моделей.
Аннотация к работе
Поиск ошибок проектирования в HDL-моделях цифровых устройств
Альмадхоун С.Предложена модель HDL-кода для целей диагностирования в виде информационного и управляющего графов. Полный цикл диагностирования модели цифрового устройства (ЦУ), начиная от его описания на языках описания аппаратуры (HDL) и заканчивая поиском места возникновения ошибки проектирования, включает в себя этапы: описание модели на языках описания аппаратуры, компилирование внутренней модели, генерацию тестов, построение списка ошибок проектирования, получение эталонов, алгоритмы обработки диагностической информации и, собственно, методы поиска дефектов. Модели на языках описания аппаратуры обладают свойством двойственности. Отсюда невозможно тестировать и диагностировать такие модели методами исключительно верификации ПО или методами диагностирования аппаратуры. Для HDL-моделей вводится модель ошибки проектирования, соответствующая ошибке в любом операторном выражении и не относящаяся к синтаксическим ошибкам.
Список литературы
1. Шкиль, А. С. Методы поиска ошибок проектирования в HDL-коде [Текст] / А. С. Шкиль, Е. Е. Сыревич, Д. Е. Кучеренко, Г. П. Фастовец // Радиоэлектроника и информатика. - Харьков, 2008 - №. 3. - С. 47 - 53.
2. Шкиль, А. С. Метод обратного прослеживания для поиска ошибок проектирования в HDL-коде [Текст] / А. С. Шкиль, Е. Е. Сыревич, Д. Е. Кучеренко, Самер Альмадхоун // Радиоэлектроника. Інформатика. Управління. - Запоріжжя: ЗНТУ, 2009 - №. 2. - С. 86-90.