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