Moscone Center, Сан-Франциско, проведет ЦАП 25-28 июня

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

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

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

Прогнозы FPGA

Еще с дизайном FPGA, Plunify сотрудничает с Xilinx, чтобы предложить набор решений Vivado в облаке через платформу Plunify Cloud. Дизайнеры платят всего лишь 50 с для компиляции проекта Vivado в облаке Web-сервисов Amazon (AWS), включая лицензии.

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

Поощрение технологии eFPGA, Achronix Semiconductor сотрудничает с специалистом в области ИС БРОСАТЬ для увеличения пропускной способности и экономии памяти.

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

CAST портировал свой IP-адрес на FPGA Achronix

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

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

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

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

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

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

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

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