Центр Moscone, Сан-Франциско, будет принимать DAC 25-28 июня

Решения OneSpin и Austemper Design Systems выделят инструменты для проверки функциональной безопасности. Austemper сосредоточится на разработке критически важных систем с помощью набора инструментов KaleidoScope, который поддерживает аналоговый дизайн для одновременного распространения сбоев со смешанным сигналом. Этот автоматизированный инструментарий обладает возможностями анализа, синтеза и проверки безопасности для приложений, ориентированных на сертификацию. Он используется для крупномасштабных автомобильных конструкций в ADAS и автономного вождения. Параллельное моделирование неисправностей включает моделирование, рекомендованное ISO 26262 для соответствия требованиям ASIL.

Недавно компания вступила в партнерские отношения с OneSpin Solutions, чтобы внедрить методологию для приложений с функциональной безопасностью, поддерживаемую инструментами, объединяя процесс проектирования и проверки, который будет продемонстрирован на стенде OneSpin. Механизмы безопасности оборудования встроены в конструкции микросхем, а инструменты OneSpin Solutions официально проверяют логику безопасности оборудования. Проверка эквивалентности гарантирует, что вставленная логика безопасности не влияет на обычную функциональность, а анализ обнаружения неисправностей проверяет, что механизмы безопасности работают должным образом в случае случайных ошибок.

OneSpin также продвигает свой комплект инструментов для квалификации после проверки TÜV SÜD процессов разработки инструмента. Первоначальный набор доступен для инструмента EDA 360 EC-FPGA компании, автоматической последовательной проверки эквивалентности, которая предотвращает появление ошибок реализации в схемах проектирования FPGA. Комплект сертифицирован по ISO 26262, IEC 61508 и EN 50128.

ПЛИС понимание

Тем не менее, с разработкой FPGA, Plunify сотрудничает с Xilinx, предлагая Vivado Design Suite в облаке через платформу Plunify Cloud. Дизайнеры платят всего 50 центов за компиляцию проекта Vivado в облаке Amazon Web Services (AWS), включая лицензии.

Компания также продемонстрирует усовершенствования в своем программном обеспечении для закрытия синхронизации InTime, чтобы оптимизировать синхронизацию FPGA в облаке (рисунок 1). Методология оптимизации InTime позволяет повысить тактовую частоту на 20–80% и удовлетворить требования по времени в днях, а не в неделях, с помощью машинного обучения. Программное обеспечение также ускоряет закрытие и оптимизацию синхронизации и доступно через облако.

Продвигая технологию eFPGA, Achronix Semiconductor сотрудничает со специалистом по IP CAST для увеличения пропускной способности и экономии памяти.

Эти два участника объяснят, как IP-адрес сжатия CAST без потерь был перенесен в портфель Achronix FPGA для использования в центрах обработки данных и мобильных устройствах передачи данных. Аппаратная реализация стандарта сжатия без потерь для Deflate, GZIP и ZLIB, совместима с программными реализациями, используемыми для сжатия или распаковки, чтобы обеспечить пропускную способность до 100 Гбит / с с низким сжатием и низкой задержкой, в сочетании с технологией Speedcore eFPGA для перемещения и хранения больших объемов данных. данные при низком энергопотреблении.

CAST перенес свой IP на FPGA Achronix

Энергоэффективность

Говоря об управлении питанием, еще один участник выставки, Баум, считает энергоэффективность самой неразвитой областью в области проектирования микросхем. Его автоматизированный инструмент анализа и моделирования электропитания предназначен для автомобильных, IoT, мобильных, сетевых и серверных проектов. PowerBaum 2.0 (рисунок 3) поддерживает динамическое и статическое питание, принимая описания RTL и netlist, и добавляет поддержку анализа мощности с аппаратной эмуляцией. Это, по словам компании, позволяет инженерам исправлять ошибки питания в реальных программных сценариях. Инструмент также поддерживает анализ с произвольными температурами, указанными разработчиками, чтобы оценить влияние температуры на энергопотребление проекта.

В DAC компания также представит PowerWurzel, механизм анализа мощности на уровне затвора, который будет интегрирован с PowerBaum для моделирования мощности.

Рисунок 3 Инструменты Baum анализируют эффективность использования энергии

Облачные инструменты проектирования и верификации SoC для проектирования ИС от Metrics включают Cloud Simulator и Verification Manager, предназначенные для управления требованиями и ресурсами моделирования, корректируя их каждую минуту вверх или вниз. Компания заявляет, что Google Cloud обеспечивает неограниченную емкость моделирования SystemVerilog, совместимую с UVM, и встроенное веб-управление проверкой для более быстрого времени регрессии, уменьшения количества ошибок в коде магистрали и предсказуемого покрытия кода.

Помимо участников, на мероприятии проводятся технические сессии и программа основных тем, посвященных актуальным вопросам. В этом году, например, в Cadence будет организовано учебное пособие «Функциональная безопасность и надежность для автомобильных приложений» и учебное пособие по машинному обучению («Машинное обучение поднимает производительность распознавания речи на новый уровень»). Основной доклад Анны-Катрины Шедлецкой, Instrumental, в понедельник, 25 июня, будет посвящен теме «Автоматизация интеллекта: машинное обучение и будущее производства». Использование ML и AI для социально-вспомогательной робототехники (SAR) исследуется в выступлении в четверг Майя Матарич, Университет Южной Калифорнии, который представит «Автоматизация против дополнения: социально-вспомогательные роботы и будущее работы».

Другая ключевая идея защищает RISC-V как средство освобождения архитекторов от проприетарных архитектур наборов команд (ISA). Дэвид Паттерсон, Google и Калифорнийский университет, представит «Новый золотой век для компьютерной архитектуры: доменные ускорители и Open RISC-V».

В этом году новое направление в DAC - это Аллея проектной инфраструктуры. Инициатива ESD Alliance и Ассоциации профессионалов в области высокопроизводительных вычислений является областью, посвященной ИТ-инфраструктуре для проектирования электронных систем и компонентов. Помимо требований к вычислительным ресурсам и хранилищу данных для проектирования и управления использованием облака, существует специальный павильон «Дизайн на облаке», в котором обсуждаются вопросы управления лицензиями, грид-вычислений и безопасности данных.