Главная         Авторы   Статьи   Год проведения   Тематика   Организации        Конференция МЭС

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

Авторы
 Чупилко М.М.
 Проценко А.С.
Год публикации
 2014
УДК
 004.4'23

Аннотация
 Динамическая верификация аппаратуры предназначена для проверки соответствия поведения HDL-моделей аппаратуры спецификациям в процессе симуляции. Представить спецификации в необходимом виде и обеспечить проверку корректности можно различными способами, но обычно обнаруженное неправильное поведение несет в себе только констатацию факта наличия неправильных данных на выходе HDL-модели. Предложенный в статье подход предназначен не только для обнаружения некорректного поведения HDL-модели, но также и для интерпретации полученных выходных данных с помощью специального алгоритма, использующего совокупность правил их анализа.
Ключевые слова
 анализ трасс, динамическая верификация
Ссылка на статью
 Чупилко М.М., Проценко А.С. Распознавание и интерпретация ошибочного поведения при динамической верификации аппаратуры // Проблемы разработки перспективных микро- и наноэлектронных систем - 2014. Сборник трудов / под общ. ред. академика РАН А.Л. Стемпковского. М.: ИППМ РАН, 2014. Часть II. С. 91-96.
Адрес статьи
 http://www.mes-conference.ru/data/year2014/pdf/D100.pdf

Copyright © 2009-2018 ИППМ РАН. All Rights Reserved.

Разработка сайта - ИППМ РАН