Логотип МИЭМ НИУ ВШЭ
Рабочий
Логотип типа проекта Программно-аппаратный
Программно-аппаратный
2025 / 2026
Логотип проекта Разработка эталонных шаблонов верификационного окружение для кодогенератора на основе больших языковых моделей (ИИ).
    От компании

2487 Разработка эталонных шаблонов верификационного окружение для кодогенератора на основе больших языковых моделей (ИИ).

Старт
03.03.2026
Представление
06.04.2026 – 17.04.2026
Постерная сессия
08.06.2026 – 19.06.2026
Защита
22.10.2026 – 03.11.2026

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

Аннотация

Проект направлен на создание открытой библиотеки эталонных шаблонов верификационного окружения для автоматической кодогенерации с использованием больших языковых моделей. Библиотека будет содержать проверенные, параметризуемые и самодокументированные шаблоны на языках SystemVerilog/UVM, C/C++/SystemC, охватывающие различные уровни абстракции и протоколы взаимодействия. Ключевой особенностью проекта является ориентация на генеративность — каждый шаблон разрабатывается с учётом эффективного...

Отрасль

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

Теги

Верификация
Валидация
UVM
Verilator
C/C++

Цель

Основная цель: Создать комплексную библиотеку эталонных шаблонов верификационного окружения, оптимизированных для кодогенерации с помощью больших языковых моделей, обеспечивающую ускорение разработки, стандартизацию и повышение качества верификации цифровых систем. Ключевые цели: - Стандартизация — обеспечение единых подходов к построению верификационных окружений - Автоматизация — снижение рутинных операций при создании тестовой инфраструктуры - Образование — создание учебных материалов через...

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

  • 15-20 базовых UVM шаблонов (агенты, последовательности, тесты, окружения)
    • 15-20 базовых UVM шаблонов (агенты, последовательности, тесты, окружения)
    • 2-4 протокольных шаблонов (APB, AHB)
    • Типовые компоненты UVM окружения (uvm_scoreboard, uvm_monitor, uvm_reg)
  • Шаблоны типовых структур данных на языках C/C++ совместимых с DPI-C и Verilator
    • Типовые наборы данных для разных задач
    • Типовые алогоритмы для оперирования структур данных
  • 2-4 SystemC TLM-2.0 шаблонов
    • Шаблоны UVM-SystemC

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

      Спринтовая структура (2 недели): Каждый спринт включает: Планирование (Planning) – определение задач на спринт Демонстрация (Demo) – показ работающего функционала Ретроспектива (Retro) – анализ процессов и улучшений Формы контроля: 1. Еженедельные статусы (стендапы): 2. Демонстрации по итогам спринта: 3. Code Review: 4. Технические отчеты:

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

      Отчеты, презентации, кодовая база.

      Ресурсное обеспечение

      Удаленный сервер с специализированным программных обеспечением.

      Имеющийся задел

      Структуры данных на С++ для Verilator

      Заказчик

      Организация / НПЦ ЭЛВИС