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


Разработка с использованием инструмента C++TESK систем автономной функциональной верификации устройств L3 и DB проектов "Процессор 1" и "Процессор 2"

Начало проекта – 2012 год. Окончание проекта - 2012 год. Заказчик - совместно с МЦСТ .

Целью данного проекта являлась разработка с использованием технологии UniTESK систем автономной функциональной верификации (тестовых систем) для устройств проектов «Процессор 1» и «Процессор 2», доработка (приведение в актуальное состояние и расширение возможностей) существующих тестовых систем, а также проведение верификации с использованием разработанных заново и доработанных тестовых систем.
В рамках проекта планировались следующие работы:
1) разработка тестовой системы для кэш-памяти третьего уровня (L3, проект «Процессор 1»);
2) разработка тестовых систем для коммутатора северного моста (DB) (проекты «Процессор 1» и «Процессор 2») на основе существующей тестовой системы;
3) доработка тестовой системы для буфера инструкций.

Для выполнения целей проекта была использована технология тестирования C++TESK. Тестовые системы были разработаны, использованы для тестирования вышеперечисленных устройств, ошибки были запротоколированы и исправлены.

Технологии

C++TESK

Исполнитель

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

Перейти к списку всех проектов