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


Разработка с использованием инструмента C++TESK системы функциональной верификации кэш-памяти третьего уровня проекта "Процессор 1"

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

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

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

Технологии

C++TESK

Исполнитель

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

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