Инструмент MicroTESK является реконфигурируемым генератором тестовых программ на основе моделей для микропроцессоров и виртуальных машин. Для получения моделей используются спецификации на языке nML, которые описывают синтаксис и семантику системы команд (ISA) целевого устройства. Создание спецификаций системы команд вручную является трудозатратой задачей, поэтому автоматизация создания спецификаций системы команд является перспективной задачей. В проекте в качестве целевой архитектуры...Подробнее

Исследование возможности применения LLM моделей для создания формальных спецификаций на языке nML для архитектуры RISC-V.

* Еженедельные совещания (Zoom). * Еженедельные отчеты.

* Обзор публикаций по теме исследования. * Список LLM моделей и инструкции по работе с ними. * Рукописные спецификации на языке nML нескольких векторных инструкций архитектуры RISC-V. * Датасеты со спецификациями на nML, на основе спецификаций из проектов MicroTESK for RISC-V и MicroTESK for MIPS. * Описание типовых промтов для LLM моделей в контексте текущей задачи. Инструкция по составлению таких промтов. * Инструкция по обучению LLM моделей с помощью созданных ранее датасетов. * Набор...Подробнее

Вычислительные ресурсы ИСП РАН.

Для автоматизации создания генераторов тестовых программ для микропроцессоров с архитектурой RISC-V в ИСП РАН был разработан инструмент «MicroTESK for RISC-V» (https://forge.ispras.ru/projects/microtesk-riscv). На данный момент на языке nML специфицированы следующие наборы команд: RV32I, RV64I, RV32M, RV64M, RV32A, RV64A, RV32F, RV64F, RV32D, RV64D, RV32C, RV64C. Помимо этого в качестве примера описания спецификаций на языке nML может быть использован проект «MicroTESK for MIPS»...Подробнее