![]() |
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ИНХС РАН |
||
Программа описывает модель микропроцессора архитектуры RISC-V. Для описания модели используется язык описания архитектуры nML, это простой и гибкий язык, позволяющий использовать описание микропроцессорной архитектуры для различных программных средств. Данной модель используется в инструменте MicroTESK, и позволяет конструировать генератор тестовых программ для RISC-V архитектуры.