Панель участников выставки 63 DAC | За пределами хайпа: инновации в области ИИ для проектирования...

Председатель сессии: Предраг Николич, Veriest Solutions Ltd. Автоматическая формализация для преобразования проектных спецификаций в проверяемую аппаратную логику — доклад Йоханна Джорджа, Normal Computing Система логического вывода для верификации кремниевых микросхем — доклад Шашанка Чаурасии, MooresLabAI Рабочие процессы, изначально разработанные для ИИ, от архитектуры до готовности к производству — доклад Джордона Кашанчи, Visibl Semiconductors Автономная обработка цифровых блоков от первоначальной концепции до временных ограничений — доклад Гади Лауфера, Hu-mind