2480 Препроцессор исходного кода программ на языке ассемблера архитектуры Эльбрус.

Бабердин Павел Васильевич

руководитель проекта

Старт

26.02.2026

Представление

06.04.2026 – 17.04.2026

Постерная сессия

08.06.2026 – 19.06.2026

Защита

22.10.2026 – 03.11.2026

Паспорт проекта

Аннотация

Для функциональной верификации микропроцессоров семейства Эльбрус разрабатываются в т.ч. тестовые программы на языке ассемблера (набор тестов соответствия архитектуре (architecture verification suite) и направленные тесты). Тестовые программы предназначены для первичной проверки целевых ситуаций и исполнения при регулярных регрессионных запусках на меняющемся RTL-описании разрабатываемого микропроцессора. Процесс отладки тестовых программ на самом деле является процессом взаимной отладки...

Отрасль

Автоматика. Вычислительная техника

Цель

Уменьшение трудоёмкости разработки, отладки и сопровождения программного кода на инженерном диалекте языка ассемблера архитектуры Эльбрус

Ожидаемые результаты

Формальное описание грамматики преобразуемого текста
Отчёт по исследованию возможных способов реализации препроцессора (разбор/преобразование текста)
Препроцессор исходного кода программ на языке ассемблера архитектуры Эльбрус.

Форма и способы промежуточного контроля

• Отслеживание изменений исходного кода программы в системе контроля версий; • тестовые запуски программы; • еженедельные отчёты и встречи.

Форма представления результатов

• Формальное описание грамматики преобразуемого текста; • исходный код программы (препроцессора) на языке C++; • документация пользователя препроцессора.