|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ЦЭМИ РАН |
||
Генератор тестовых программ для архитектуры RISC-V на основе инструмента MicroTESKстатья
- Авторы: Камкин А.С., Проценко А.С., Смолов С.А., Татарников А.Д.
- Журнал: Проблемы разработки перспективных микро- и наноэлектронных систем МЭС
- Том: 2
- Год издания: 2018
- Издательство: Институт проблем проектирования в микроэлектронике РАН
- Местоположение издательства: Москва
- Первая страница: 2
- Последняя страница: 8
- Аннотация: В работе рассматривается генератор тестовых программ, предназначенный для верификации микропроцессоров с архитектурой RISC-V. Генератор разработан на основе инструмента MicroTESK и состоит из формальных спецификаций архитектуры RISC-V и архитектурно независимого ядра. Спецификации задают синтаксис и семантику команд. Ядро реализует техники построения последовательностей команд и генерации данных. Генерация осуществляется на основе шаблонов, описывающих структурные и поведенческие свойства программ. Инструмент позволяет расширять систему команд и поддерживает случайные, комбинаторные и основанные на ограничениях техники генерации.
- Добавил в систему: Камкин Александр Сергеевич