Агентная AI-верификация чипов, начинающаяся уже на этапе RTL

Описание

Заявлены четыре агента: Mental Model AI Agent, Formal AI Agent, Unit Simulation AI Agent и UVM AI Agent. Проблема, которую решает продукт по описанию сайта: верификация занимает более 60% времени разработки чипа, а передачи между командами дизайна и верификации растягивают график. Подход — агентный AI, который улавливает замысел дизайна, автоматизирует симуляционные и формальные задачи и позволяет начинать функциональную верификацию раньше. Кейс: Tenstorrent развернул ChipStack в продакшене.

Характеристики

Тип	Инструмент
Категория	Микросхемы и EDA / Агентная AI-верификация
Платформа	Только веб
Системы	web
Для кого	Инженеры верификации и RTL-дизайнеры.
Язык сайта	en
Вендор	Cadence