РИД
№ 625013107620-3Стохастический генератор тестов RISTRETTO для микропроцессоров с архитектурой КОМДИВ64
31.01.2025
Программа предназначена для верификации подсистемы памяти и атомарных операций в многоядерных микропроцессорах с симметричным доступом к памяти архитектуры КОМДИВ64 (совместима с архитектурой MIPS64). Программа поддерживает два режима работы – работа на целевой машине без операционной системы и работа на хостовой машине для параметризированного порождения одиночных тестов на языке ассемблера целевой архитектуры. Программа поддерживает полную самопроверку результатов выполнения и развитую систему контроля и диагностики ошибок. Тип ЭВМ: IBM PC-совмест. ПК/КОМДИВ64; ОС: Linux/не требуется.
ГРНТИ
47.14.07 Проектирование и конструирование полупроводниковых приборов и приборов микроэлектроники
Ключевые слова
атомарные операции в многоядерных микропроцессорах
верификация подсистемы памяти
КОМДИВ64
архитектура MIPS64
Детали
НИОКТР
Тип РИД
Программа для ЭВМ
Сферы применения
Программа предназначена для верификации подсистемы памяти и атомарных операций в многоядерных микропроцессорах с симметричным доступом к памяти архитектуры КОМДИВ64 (совместима с архитектурой MIPS64)
Ожидается
Исполнитель
Исполнители
ФЕДЕРАЛЬНОЕ ГОСУДАРСТВЕННОЕ АВТОНОМНОЕ УЧРЕЖДЕНИЕ "ФЕДЕРАЛЬНЫЙ НАУЧНЫЙ ЦЕНТР НАУЧНО-ИССЛЕДОВАТЕЛЬСКИЙ ИНСТИТУТ СИСТЕМНЫХ ИССЛЕДОВАНИЙ НАЦИОНАЛЬНОГО ИССЛЕДОВАТЕЛЬСКОГО ЦЕНТРА "КУРЧАТОВСКИЙ ИНСТИТУТ"
Заказчик
ФЕДЕРАЛЬНОЕ ГОСУДАРСТВЕННОЕ БЮДЖЕТНОЕ УЧРЕЖДЕНИЕ "НАЦИОНАЛЬНЫЙ ИССЛЕДОВАТЕЛЬСКИЙ ЦЕНТР "КУРЧАТОВСКИЙ ИНСТИТУТ"
Похожие документы
Программа для расширения генератора случайных программных тестов RISCV-DV для механизма защиты памяти RISC-V
0.869
РИД
Многоядерный покомандный эмулятор ВИРКОМ64-М для микропроцессоров с архитектурой КОМДИВ64
0.869
РИД
Программа тестирования производительности и выявления скрытых аппаратных уязвимостей в блоках FPU
0.832
РИД
Модель партицированной операционной системы для целей формальной верификации (Partitioned OS model for formal verification purposes)
0.825
РИД
Инструментальное средство для криптоанализа генераторов псевдослучайных чисел на основе регистров сдвига с нелинейными обратными связями
0.822
РИД
Доработанный поведенческий эмулятор микропроцессоров с архитектурой КОМДИВ64
0.817
РИД
Генератор псевдослучайных чисел на основе архитектуры "Сеть Фейстеля "
0.816
РИД
32-разрядное процессорное ядро mrv-1f для встроенных применений с набором команд RISC-V
0.814
РИД
Программа для верификации СФ-блока алгоритма кэширования PLRU
0.813
РИД
32-разрядное процессорное ядро mrv-1f-plus для встроенных применений с набором команд RISC-V
0.812
РИД