Задачу на Verilog можно решать прямым запросом к языковой модели, с помощью универсального агента (например DeepAgents, PI), в VS Code с расширениями Cline, Verilog-HDL/SystemVerilog, Yosys, либо с помощью специализированной системы VAI (Verilog_AI) — программный ИИ-ассистент для работы с проектами Verilog/SystemVerilog, разрабатываемый в УЛ САПР. Для осмысленного сравнения этих способов нужны одинаковые исходные проекты, проверяемые задания и единый способ учёта результата. Студенты...

Отрасль

Информатика

Цель

Разработать программную систему для автоматической проверки и сравнения четырёх способов решения задач на Verilog: прямого запроса к модели, PI, VS Code с Cline и HDL-инструментами, VAI.

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

Набор задач Verilog с зафиксированными условиями и проверками.
Сценарии запуска LLM, универсального агента (PI), VS Code и VAI для каждой задачи.
- Подготовка адаптеров и инструментов для возможности запуска CircuitGen
Сохранённые результаты повторных запусков всех подходов.
Таблицы успешности, времени и типовых причин неудач.
Краткий отчёт о применимости подходов на выбранных задачах.

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

Еженедельная встреча с руководителем. На встрече команда демонстрирует подготовленные задачи, сценарии запусков или результаты очередной серии экспериментов. После согласования методики фиксируются изменения набора задач и параметров запуска. Контрольные точки: готовность методики и задач; пробная серия запусков; итоговая серия и отчёт.

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

Репозиторий с инструкцией воспроизведения, сценариями запусков и данными экспериментов; краткий отчёт; презентация с таблицами и выводами; демонстрация воспроизводимых запусков.

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

Персональные компьютеры участников, доступ к рабочему окружению VAI, выбранной языковой модели и готовому агенту, а также вычислительные ресурсы для согласованного числа запусков.

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

Репозитории агентой системы VAI с демонстрационным агентом для работы с проектами Verilog/SystemVerilog, сценарии автономного запуска и benchmark-инфраструктура