Моделі та платформи ШІ
Синопсис передає верифікацію мікросхем автономним агентам штучного інтелекту
Додайте Unite.AI до бажаних джерел у Google
Синопсис заявив 26 липня 2026 року, що він створив агент верифікації дизайну, здатний виконувати весь цикл верифікації мікросхеми без участі інженера, і що система досягає валідованої RTL до 50 разів швидше, забезпечуючи ще 20% покращення покриття. Компанія оголосила про цю роботу на конференції Design Automation Conference у Лонг-Біч, Каліфорнія, де вона демонструє потік вперше. Ще нічого не випущено. Клієнти зараз оцінюють можливості, а випуск запланований на другу половину 2026 року, термін, який уже розпочався.
Агент поєднує технологію Synopsys AgentEngineer з агентським стеком NVIDIA (NVDA ): інструментарій NVIDIA Agent Toolkit, відкриту модель Nemotron 3 Ultra та sandbox-шар NVIDIA, який називається OpenShell runtime. Оркестратор агента витягує цілі верифікації зі специфікації, дизайну, існуючої бази тестів та вхідних даних інженера, а потім направляє спеціалізовані агенти для генерації плану тестування, закриття покриття та налагодження. Закриття покриття – це етап, на якому команда доводить, що її тести фактично використовували логіку, і Синопсис описує це як одну з найбільших瓶-neck у процесі.
Числа прискорення належать виробникам
Кожна цифра продуктивності тут походить від компаній, які продають інструменти, а базові показники тонкі. Заяви про 50-кратне та 20% прискорення супроводжуються приміткою, яка порівнює їх з “традиційними потоками верифікації, які не підтримуються технологією AgentEngineer”, без назви дизайну, вузла процесу та інженерних годин. Аналогічний твердження про продуктивність до 3-кратної для змішаної потоку, оркестрованої тією ж технологією, спирається на примітку, яка фактично повторює себе.
Чотири місяці раніше, на своїй конференції Converge 11 березня 2026 року, Синопсис описав менш автономну версію тієї ж ідеї, “L4” багатоагентний дизайн і потік верифікації, і оцінив вигоди у 2-кратній продуктивності з до 5-кратним у вибраних випадках. Того ж випуску також зазначалося, що фронтенд-дизайн великої системи на кристалі займає верифікаційну команду протягом чотирьох до шести місяців. Два метрики не ідентичні, але відстань між 2-кратним у березні та 50-кратним у липні достатньо велика, щоб бажати побачити власні клієнтські дані “до та після” перед тим, як вважати це остаточним.
Не допомагає незалежне тестування. Тренування та силікон інференсу мають MLPerf, загальний формат подачі з публічною таблицею результатів; агентські потоки дизайну не мають жодного бенчмарку. Прилегла заява NVIDIA, що Nemotron 3 Ultra лідирує серед відкритих моделей на агентському рівні кодування передачі регістрів, спирається на бенчмарк, який публікує NVIDIA, виміряний за допомогою агента, побудованого NVIDIA Research. Стартапи, що переслідують той же ринок, серед них Chipmind, який вийшов зі стелсу, щоб перебудувати дизайн мікросхем навколо агентів штучного інтелекту, стикаються з тим же пробілом доказів.
Де фактично відбувається робоче навантаження EDA
Друга половина оголошення стосується не агентів, а апаратного забезпечення. Синопсис заявляє, що понад 20 його продуктів EDA та мультифізики тепер прискорені GPU. Компанія повідомляє, що симуляція схем у PrimeSim SPICE працює приблизно в 18 разів швидше за загальний час виконання на GPU NVIDIA, ніж на виконаннях тільки на CPU, прискорення в 10 разів для електромагнітної симуляції Ansys Lumerical та до 50-кратного для квантоворганічної роботи в QuantumATK за допомогою бібліотеки cuEST NVIDIA.
Це суттєвий блок інженерних обчислень, який переміщується з CPU-стійок на апаратне забезпечення NVIDIA всередині дизайн-будівель, які створюють прискорювачі. Власне оголошення NVIDIA додає бібліотеку розв’язувача розрідженого матричного рівняння cuISS до набору CUDA-X та зазначає, що симулятор VCS Синопсиса налаштовується для його процесора Vera CPU. Інструменти, які проектують наступне покоління силіконових прискорювачів штучного інтелекту, усе частіше працюють на поточному.
Синопсис також показав автономний потік для електронного термічного аналізу, побудований на основі Ansys Icepak, інструменту охолодження, який він придбав під час придбання Ansys, а також відкритих бібліотек PyAEDT. Він обробляє налаштування симуляції та перед- та післяобробку без нагляду. Опис NVIDIA тієї ж роботи називає додаток більш явно: оптимізація дизайну охолодження GPU. Тім Коста, віце-президент та генеральний менеджер NVIDIA з обчислювальної техніки, сказав, що агенти допомагають командам “закрити верифікацію, автоматизувати термічний аналіз та стиснути цикли розробки з тижнів до годин”.
Кожен виробник EDA вибрав того ж партнера
Оголошення NVIDIA перелічує Cadence, Siemens, Samsung, Keysight, Silvaco та TSMC поряд з Синопсисом. Потік упаковки та плати Cadence зазначається як такий, що забезпечує до 20-кратне прискорення мультифізичної продуктивності. Siemens заявляє, що агентські потоки скорочують час характеристики бібліотеки більш ніж у 10 разів, одночасно скорочуючи витрати токенів у подібному порядку. Samsung повідомляє про до 20-кратне прискорення обчислювальної літографії за допомогою cuLitho. Усі три великі виробники EDA закріпили свої історії автономності за моделями, бібліотеками та часом виконання одного й того ж постачальника того ж дня.
Два речі зробили б заяви перевірними. Перше – клієнт, який публікує дані про закриття покриття з названим дизайном на названому вузлі. Друге – ясність щодо того, чи означає вікно другого півріччя загальний випуск чи обмежений ранній доступ.
Питання розгортання має найбільшу ставку. Nemotron – це відкрита модель ваги, яку можна післяобучити на пропріетарних даних та запустити локально, це те, на що NVIDIA явно вказує. RTL – це одна з найбільш охоронюваних інтелектуальних цінностей компанії з виробництва мікросхем, досить цінна, щоб уряди розглядали питання про обмеження її експорту. Автономний агент верифікації потребує цілий дизайн, щоб виконувати свою роботу. Чи може він виконувати цю роботу всередині власної клієнтської брандмауера вирішує, хто може його використовувати взагалі.
