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


Распознавание и интерпретация ошибочного поведения при динамической верификации аппаратуры.

Авторы

А.С. Проценко, М.М. Чупилко.

Аннотация

Динамическая верификация аппаратуры предназначена для проверки соответствия поведения HDL-моделей аппаратуры спецификациям в процессе симуляции. Представить спецификации в необходимом виде и обеспечить проверку корректности можно различными способами, но обычно обнаруженное неправильное поведение несет в себе только констатацию факта наличия неправильных данных на выходе HDL-модели. Предложенный в статье подход предназначен не только для обнаружения некорректного поведения HDL-модели, но также и для интерпретации полученных выходных данных с помощью специального алгоритма, использующего совокупность правил их анализа.

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

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

анализ трасс, динамическая верификация.

Издание

Проблемы разработки перспективных микро- и наноэлектронных систем – 2014. Сборник трудов / под общ. ред. академика РАН А.Л. Стемпковского. М.: ИППМ РАН, 2014. Часть II. С. 91-96.

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

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

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