| Генератор тестовых программ для архитектуры RISC-V на основе инструмента MicroTESK |
|
 |
|
|
| Авторы |
| | Камкин А.С. |
| | Проценко А.С. |
| | Смолов С.А. |
| | Татарников А.Д. |
| Год публикации |
| | 2018 |
| DOI |
| | 10.31114/2078-7707-2018-2-2-8 |
| УДК |
| | 004.23 |
|
| Аннотация |
| | В работе рассматривается генератор тестовых программ для функциональной верификации микропроцессоров с архитектурой RISC-V. Генератор разработан на основе инструмента MicroTESK и состоит из двух частей: формальных спецификаций архитектуры RISC-V и архитектурно-независимого ядра генерации тестовых программ. Спецификации описывают синтаксис и семантику поддерживаемых микропроцессором команд. Ядро реализует расширяемый набор техник построения последовательностей команд и генерации тестовых данных. Генерация осуществляется на основе шаблонов, которые задают используемые команды и техники генерации. Предлагаемый подход позволяет упростить поддержку новых расширений системы команд и новых техник генерации. Генератор позволяет создавать тесты с использованием случайных, комбинаторных и основанных на ограничениях техник генерации. |
| Ключевые слова |
| | микропроцессоры; формальные спецификации; система команд; функциональная верификация; генерация тестовых программ; RISC-V; nML; MicroTESK. |
| Ссылка на статью |
| | Камкин А.С., Проценко А.С., Смолов С.А., Татарников А.Д. Генератор тестовых программ для архитектуры RISC-V на основе инструмента MicroTESK // Проблемы разработки перспективных микро- и наноэлектронных систем. 2018. Выпуск 2. С. 2-8. doi:10.31114/2078-7707-2018-2-2-8 |
| Адрес статьи |
| | http://www.mes-conference.ru/data/year2018/pdf/D091.pdf |
