|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ИНХС РАН |
||
Метод построение тестового оракула для подсистемы памяти многоядерного микропроцессора на основе недетерминированной функциональной моделистатья
- Авторы: Камкин А.С., Петроченков М.В.
- Журнал: Вопросы радиоэлектроники
- Том: 3
- Номер: 3
- Год издания: 2015
- Первая страница: 84
- Последняя страница: 95
- Аннотация: Описывается метод построения тестовых оракулов для подсистем памяти многоядерных микропроцессоров на основе недетерминированных эталонных моделей. Центральной частью метода является динамическое уточнение вариантов поведения модели на базе реакций, полученных от тестируемой системы. Рассматривается опыт применения предложенного подхода к верификации кэш-памяти L3 микропроцессора «Эльбрус-8С».
- Добавил в систему: Камкин Александр Сергеевич