Программа для верификации СФ-блока алгоритма кэширования PLRU

13.03.2025

Верификационное окружение предназначено для функциональной проверки модуля алгоритма кэширования PLRU (Pseudo-LRU). Окружение выполняет проверку корректности работы модуля, осуществляя сбор и проверку данных с выходных сигналов устройства. Включает в себя анализ переходов адресов и кодов в классе осуществления сравнения plru_scoreboard и covergroup, а также проверку значений при сбросе с помощью Assertions (SVA).

ГРНТИ

50.07.07 Диагностика средств вычислительной техники

Ключевые слова

верификация

PLRU

Детали

НИОКТР

№ 123011200042-2

Тип РИД

Программа для ЭВМ

Сферы применения

Область применения программы для верификации алгоритма заключатся в тестировании и верификации алгоритма кэширования PLRU, используемого в вычислительных системах.

Ожидается

Исполнитель

Исполнители

ФЕДЕРАЛЬНОЕ ГОСУДАРСТВЕННОЕ АВТОНОМНОЕ ОБРАЗОВАТЕЛЬНОЕ УЧРЕЖДЕНИЕ ВЫСШЕГО ОБРАЗОВАНИЯ "НАЦИОНАЛЬНЫЙ ИССЛЕДОВАТЕЛЬСКИЙ УНИВЕРСИТЕТ "МОСКОВСКИЙ ИНСТИТУТ ЭЛЕКТРОННОЙ ТЕХНИКИ"

Заказчик

МИНИСТЕРСТВО НАУКИ И ВЫСШЕГО ОБРАЗОВАНИЯ РОССИЙСКОЙ ФЕДЕРАЦИИ

Похожие документы

Программа для верификации СФ-блока итерационного делителя

0.876

РИД

Программа для верификации СФ-блока пересечения тактовых доменов (Clock Domain Crossing)

0.871

РИД

Программа для верификации модуля конфигурируемого FIFO

0.866

РИД