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