Институт системного программирования им. В.П. Иванникова РАН


Проверка корректности поведения HDL-моделей цифровой аппаратуры на основе динамического сопоставления трасс.

Авторы

В.П. Иванников, А.С. Камкин, М.М. Чупилко.

Аннотация

Проверка корректности поведения HDL-моделей является неотъемлемой частью динамической верификации аппаратуры. Как правило, она основана на сравнении поведения HDL-модели с поведением эталонной модели, разработанной на языке программирования. В процессе верификации на обе модели подается одна и та же последовательность стимулов; реакции перехватываются и сравниваются друг с другом. Из-за абстрактности эталонной модели сопоставление трасс не является тривиальной задачей: порядок событий может не совпадать, а некоторые события одной трассы могут отсутствовать в другой. В работе рассматривается метод динамического сопоставления трасс для моделей аппаратуры разного уровня абстракции. Метод был успешно применен в нескольких промышленных проектах по верификации модулей микропроцессоров.

Полный текст статьи в формате pdf

Ключевые слова

динамическая верификация, модульная верификация, HDL, сопоставление трасс, частично упорядоченные мультимножества.

Издание

Научно-технические ведомости СПбГПУ. Информатика. Телекоммуникации. Управление, 2(193), 2014, c. 130-142.

Научная группа

Технологии программирования

Все публикации за 2014 год Все публикации