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

Номер регистрации (свидетельства): 2016615732

Дата регистрации: 27.05.2016

Номер и дата поступления заявки: 2016612855 31.03.2016

Дата публикации: 20.06.2016
	
Авторы:
Петроченков Михаил Викторович,
Стотланд Ирина Аркадьевна

Правообладатель:
Акционерное общество «МЦСТ»

Название программы для ЭВМ:
«Система для автономной верификации кэш-памяти третьего уровня многоядерного микропроцессора методом динамической модификации состояния функциональной модели»

Реферат:
Программа предназначена для автономной верификации моделей уровня регистровых передач (RTL-моделей) кэш-памяти третьего уровня многоядерных микропроцессоров. Программа осуществляет генерацию направленных и псевдослучайных высокоуровневых входных воздействий, проверку реакций от кэш-памяти третьего уровня, адаптацию недетерминированной функциональной модели для сопоставления реакций, динамический выбор вариантов поведения функциональной модели. Программа обладает возможностью генерирования входных воздействий и включает в себя тестовый оракул - подпрограмму, выполняющую проверку корректности реакций, выдаваемых в ответ на входные воздействия на кэш-память третьего уровня. Тестовый оракул состоит из программной модели состояний кэш-памяти, модуля динамического уточнения состояний, оракула операций и сопоставителя реакций. Программа реализует метод динамической модификации состояния функциональной модели, что дает возможность использовать недетерминированные функциональные модели в качестве эталонных без ограничений на тестовую последовательность входных воздействий и использования уточнений от верифицируемой RTL-модели.

Тип реализующей ЭВМ: IBM PC-совмест. ПК

Язык программирования: SystemVerilog, С++

Вид и версия операционной системы: Linux

Объем программы для ЭВМ: 2,6 Мб