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


Трудности модульной верификации аппаратуры на примере буфера команд микропроцессора «Эльбрус-2S».

Авторы

Р.А. Баратов, А.С. Камкин, В.М. Майорова, А.Н. Мешков, А.А. Сортов, М.А. Якушева.

Аннотация

Описывается опыт автономной верификации буфера команд микропроцессора «Эльбрус-2S» с использованием инструмента C++TESK. На этом примере формулируются общие проблемы, возникающие в промышленной верификации аппаратуры, и предлагаются пути их решения. Дается краткое описание буфера команд и его особенностей, затрудняющих верификацию. Рассматриваются применяемые в проекте технические и организационные решения. Многие из затронутых проблем имеют общий характер, что позволяет применять предложенные решения для верификации других устройств.

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

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

Издание

Вопросы радиоэлектроники, серия ЭВТ, № 3, 2013. С. 84-96.

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

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

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