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


Статический Анализ HDL-описаний: Извлечение Моделей для Верификации.

Авторы

А. Камкин, С. Смолов, И. Мельниченко.

Аннотация

Возрастающая сложность моделей аппаратуры делает функциональную верификацию сложной задачей. Ключевой проблемой современных подходов к верификации является создание «хорошей» модели для автоматической генерации тестов или формальной проверки свойств. В данной статье мы описываем техники извлечения EFSM-моделей из HDL-описаний и кратко описываем применимость таких моделей для верификации. Отличительной чертой предложенного подхода является то, что он автоматически определяет кодирующие состояние HDL-описания регистры и использует эту информация для построения модели.

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

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

формальная верификация, автоматическая генерация тестов.

Издание

East-West Design & Test Symposium (EWDTS), 2013, стр. 1-4.

DOI: 10.1109/EWDTS.2013.6673126

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

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

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