Материал подготовлен автоматически по первоисточникам: ссылки на них — в конце статьи.
Автоматическая система улучшила временные характеристики и площадь схем после того, как их уже обработал коммерческий синтезатор. В препринте HKUST, который не рецензировался и где все числа получены самими авторами, Dr. RTL улучшил худший отрицательный запас времени на 21,3%. Такой подход добавляет ещё один этап оптимизации между готовым RTL-кодом и окончательной реализацией схемы.
Как benchmark отделяет оптимизацию RTL от работы синтезатора
Переписанный код на уровне регистровых передач (RTL) не обязательно даёт лучшую схему. Современный синтезатор сам упрощает логику, перестраивает выражения и выбирает элементы библиотеки, поэтому внешне разумное изменение может исчезнуть после синтеза или ухудшить результат.
Авторы предлагают проверять оптимизаторы в двух режимах. В первом исходный вариант намеренно уступает реализации, которую подготовил инженер. Benchmark RTL-OPT включает 36 таких задач: арифметику, управляющую логику, конечные автоматы и конвейеры. Кандидат должен сохранить поведение схемы и после синтеза превзойти исходную или эталонную реализацию по временным характеристикам, площади и мощности.
Этот режим показывает, насколько трудно восстановить даже известную оптимизацию. Лучший из проверенных одиночных запусков LLM превзошёл неоптимальный исходник в 41,7% задач, а инженерный эталон — только в 13,9%. Значит, корректный Verilog и убедительное рассуждение модели ещё не гарантируют лучшую физическую реализацию.
Второй режим начинается с исходного кода реальных открытых проектов. Здесь нет заранее подготовленного правильного ответа: система должна найти улучшение, которое переживёт коммерческий синтез. Такой тест ближе к рабочему процессу, но не позволяет измерить, насколько решение приблизилось к теоретическому пределу.
Как Dr. RTL замыкает поиск на EDA-инструменты
Dr. RTL не просит одну модель сразу переписать весь проект. Система получает отчёт о критических путях, связывает задержки с участками RTL-кода и поручает нескольким агентам предложить разные преобразования. Затем инструменты проектирования электроники (EDA) синтезируют каждый вариант и возвращают фактические временные характеристики и площадь.
Перед сравнением система проверяет последовательную эквивалентность: новый вариант должен сохранять поведение исходной схемы во времени, а не только выдавать те же результаты на нескольких тестах. Неэквивалентные изменения отбрасываются, даже если синтезатор показывает для них лучшие характеристики.
На следующих итерациях Dr. RTL использует не только текущие отчёты, но и библиотеку приёмов. Система сопоставляет удачные и неудачные траектории, выделяет сочетания структуры схемы и стратегии переписывания, а затем переносит их в новые запуски. Параметры самой LLM при этом не меняются: улучшается контекст поиска, а не модель.
Проверка охватила 20 написанных людьми проектов: процессоры, интерфейсы связи, буферы и модули обработки сигналов. В среднем Dr. RTL улучшил суммарный отрицательный запас времени на 16,9% и сократил площадь ячеек на 5,8%. Первый показатель суммирует нарушения времени по всем проблемным путям, тогда как худший отрицательный запас описывает один наиболее критичный путь.
Работа также переносит тот же цикл на сам синтезатор. Агент меняет сценарии Synopsys Design Compiler либо исполняемый код связки Yosys+ABC, проверяет эквивалентность результата и сохраняет удачные варианты. На восьми проектах специализированные алгоритмы для Yosys+ABC сократили произведение площади на задержку на 18,7% относительно настроенного агентом универсального процесса.
Что меняется в планах команд
Работа не предлагает заменить существующий маршрут проектирования LLM-агентом. Её практическая схема консервативнее: агент генерирует варианты, а синтезатор и формальная проверка решают, какие из них допустимы. Поэтому внедрение требует программного доступа к отчётам о времени, автоматического синтеза кандидатов и надёжной проверки эквивалентности.
Такой контур имеет смысл после того, как обычные настройки синтеза уже перестали давать нужный результат. Он может обменять дополнительное машинное время на меньшую площадь или лучший запас времени без ручного перебора RTL-вариантов. Если формальная проверка проекта нестабильна или синтез занимает слишком долго, стоимость широкого поиска быстро станет главным ограничением.
При планировании пилота стоит разделить три уровня. Сначала можно разрешить агенту менять только сценарий синтеза, затем открыть локальные преобразования RTL и лишь после этого — код алгоритмов синтезатора. На каждом уровне остаются фиксированными исходный интерфейс, ограничения проекта и проверяемое поведение схемы.
Замеры относятся к временным характеристикам и площади; мощность не вошла в цель Dr. RTL, поскольку её оценка зависит от переключательной активности при конкретной нагрузке. Поэтому работа поддерживает пилот для замыкания времени и сокращения площади, но не обосновывает автономную оптимизацию энергопотребления или полный переход на самостоятельно изменяемый маршрут EDA.
Источники
Похоже на вашу задачу?
Расскажите, что собираете. За полчаса разложим на этапы и назовём сроки — это бесплатно и ни к чему не обязывает.
