Moscone Center, Сан Франциско, ще бъде домакин на DAC 25-28 юни

OneSpin Solutions и Austemper Design Systems ще подчертаят инструментите за функционална проверка на безопасността. Austemper ще се съсредоточи върху критично важната система за разработка на системата, с инструменталния пакет KaleidoScope, който поддържа аналогов дизайн за едновременно разпространение на грешки със смесен сигнал. Автоматичният набор от инструменти има възможности за анализ на безопасност, синтез и проверка на сертифицирани приложения. Използва се за мащабни автомобилни дизайни в ADAS и автономно шофиране. Едновременната симулация на повреди включва симулации, препоръчани от ISO 26262, за да съответстват на изискванията на ASIL.

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

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

FPGA прозрения

Все още с FPGA дизайн, Plunify си сътрудничи с Xilinx, за да предложи дизайнерския пакет Vivado в облака, чрез платформата Plunify Cloud. Дизайнерите плащат само 50c за съставяне на проект Vivado в облака на Amazon Web Services (AWS), включително лицензи.

Компанията също така ще демонстрира подобрения на своя софтуер за затваряне на времето InTime за оптимизиране на FPGA времето в облака (Фигура 1). Методологията за оптимизация на InTime може да подобри тактовата честота с 20 до 80% и да отговори на изискванията за време за дни, а не за седмици чрез машинно обучение. Софтуерът също така ускорява затварянето и оптимизирането на времето и се осъществява достъп до облака.

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

Двамата изложители ще обяснят как IP на компресията без загуба на CAST е пренесен в портфолиото на Achronix FPGA за използване в центъра за данни и мобилни приложения за пренос на данни. Хардуерното внедряване на стандарта за компресия без загуби за Deflate, GZIP и ZLIB, е съвместимо със софтуерни реализации, използвани за компресия или декомпресия, за да осигурят до 100Gbit / s пропускателна способност с ниска компресия и ниска латентност, съчетана с технологията Speedcore eFPGA за преместване и съхраняване на големи данни при ниска консумация на енергия.

CAST пренесе своя IP към FPGA на Achronix

Енергийна ефективност

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

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

Фигура 3 Инструментите на Баум анализират енергийната ефективност

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

Освен изложители, събитието е домакин на технически сесии и програма от основни бележки, насочени към актуални области. Тази година, например, Cadence ще бъде домакин на урок на тема „Функционална безопасност и надеждност за автомобилни приложения“ и един за машинно обучение („Машинно обучение извежда ефективността на разпознаване на реч на следващото ниво“). Основна бележка на Ана-Катрина Шедлецки, Instrumental, в понеделник, 25 юни, ще се фокусира върху „Автоматизиране на интелигентността: машинно обучение и бъдещето на производството“. Използването на ML и AI за социално подпомагаща роботика (SAR) е проучено в основната бележка на четвъртък от Мая Матарич, Университета на Южна Калифорния, която ще представи „Автоматизация срещу увеличаване: Социално помощни роботи и бъдещето на работата“.

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

Нова зона тази година в DAC е Алея за дизайн на инфраструктурата. Инициативата на ЕСД Алианс и Асоциация за високопроизводителни компютърни специалисти е област, посветена на ИТ инфраструктурата за проектиране на електронни системи и компоненти. Освен изискванията за изчисляване и съхранение за проектиране и управление на използването на облака, има специализиран театър за павилион Design-on-the Cloud, който обсъжда управлението на лицензи, изчисленията в мрежата и сигурността на данните.