Центарот Москоне, Сан Франциско, ќе биде домаќин на ДАЦ од 25 до 28 јуни
OneSpin Solutions и Austemper Design Systems ќе ги истакнат алатките за функционална проверка на безбедноста. Остемпер ќе се фокусира на развој на системот за критична мисија, со пакетот алатки KaleidoScope кој поддржува аналоген дизајн за истовремено, мешање на сигнал за ширење на грешки. Автоматизираниот пакет алатки има безбедносна анализа, синтеза и верификација на можности за апликации ориентирани кон сертификација. Се користи за големи дизајни на автомобили во АДАС и автономно возење. Симулацијата на истовремена грешка вклучува симулации препорачани од ISO 26262 за да се усогласат со барањата на ASIL.
Компанијата неодамна соработуваше со OneSpin Solutions за усвојување на методологија поддржана од алатки за функционални безбедносни апликации, комбинирајќи проток на дизајн и верификација, што ќе се демонстрира на штандот на OneSpin. Безбедносните механизми на хардверот се вметнуваат во дизајнот на чипови и алатките на OneSpin Solutions формално ја потврдуваат логиката за безбедност на хардверот. Проверката на еквивалентност осигурува дека вметнатата безбедносна логика не влијае на редовната функционалност и анализата за откривање на грешки потврдува дали безбедносните механизми функционираат правилно во случај на случајни грешки.
OneSpin исто така го промовира својот комплет за квалификација на алатки, по проверка на TÜV SÜD за процесите на развој на својата алатка. Почетниот комплет е достапен за алатката 360 EC-FPGA EDA на компанијата, автоматска проверка на последователна еквивалентност што спречува проток на дизајн на FPGA да воведе грешки при имплементација. Комплетот е сертифициран според ISO 26262, IEC 61508 и EN 50128.
Увиди на ФПГА
Сепак, со дизајнот FPGA, Plunify соработуваше со Xilinx за да го понуди пакетот за дизајн Vivado во облак, преку платформата Plunify Cloud. Дизајнерите плаќаат дури 50c за да соберат проект Вивадо на облакот Амазон веб сервиси (AWS), вклучително и лиценци.
Компанијата исто така ќе демонстрира подобрувања на својот софтвер за затворање на тајмингот InTime за да го оптимизира времето на FPGA во облакот (Слика 1). Методологијата за оптимизација на InTime може да ја подобри фреквенцијата на часовникот за 20 до 80% и да ги исполни барањата за тајминг во денови, наместо со недели преку машинско учење. Софтверот исто така го забрзува затворањето и оптимизацијата на времето и се пристапува преку облакот.
Промовирајќи ја eFPGA технологијата, Ахроникс полупроводник соработува со IP специјалист CAST за зголемување на пропусната моќ и заштеда на меморијата.
Двајцата излагачи ќе објаснат како IP-компресијата без загуби на CAST е пренесена во портфолиото на Ахроникс FPGA за употреба во апликациите за пренос на податоци во центарот за податоци и мобилни работ. Хардверската имплементација на стандардот за компресија без загуби за Deflate, GZIP и ZLIB е компатибилен со софтверски имплементации што се користат за компресија или декомпресија за да се обезбеди проток до 100Gbit / s со мала компресија и мала латентност, заедно со Speedcore eFPGA технологијата за движење и складирање на големи податоци при мала потрошувачка на енергија.
CAST ја пренесе својата IP до FPGA на Ахроникс
Енергетска ефикасност
Говорејќи за управување со електрична енергија, друг изложувач, Баум, ја идентификува енергетската ефикасност како најразвиена област во дизајнот на чипови. Неговата автоматска алатка за анализа и моделирање на моќноста е дизајнирана за автомобилски, IoT, мобилни, мрежни и серверски проекти. PowerBaum 2.0 (Слика 3) поддржува динамична и статичка моќност, земајќи описи за RTL и мрежни списоци и додава поддршка за анализа на моќност со хардверска емулација. Ова, вели компанијата, им овозможува на инженерите да ги поправат грешките на напојувањето во реални сценарија за софтвер. Алатката, исто така, поддржува анализа со произволни температури, специфицирани од дизајнерите, за да се проценат ефектите на температурата врз потрошувачката на енергија на дизајнот.
На DAC, компанијата ќе претстави и PowerWurzel, мотор за анализа на моќност на ниво на портата, интегриран во PowerBaum за моделирање на моќност.
Слика 3 Алатките на Баум ја анализираат енергетската ефикасност
Алатките за дизајн и проверка на SoC заснован на облак за IC дизајн од Metrics вклучуваат Симулатор на облак и Менаџер за верификација, дизајниран да управува со барањата и ресурсите на симулацијата, прилагодувајќи ги нагоре или надолу секоја минута. Компанијата тврди дека Google Cloud овозможува неограничен капацитет на симулација SystemVerilog, во согласност со УВМ, и природен, веб-заснован менаџмент за верификација за побрзо време на регресија, намалени грешки во кодот на багажникот и предвидливо покривање на кодот.
Настрана од изложувачите, настанот е домаќин на технички сесии и програма на клучни теми кои се однесуваат на тематски области. Оваа година, на пример, Каденс ќе биде домаќин на туторијал за „Функционална безбедност и сигурност за автомобилски апликации“ и еден за машинско учење („Машинското учење ја изведува изведбата за препознавање говор на следното ниво“). Главна точка на Ана-Катрина Шедлецки, Инструментал, во понеделник на 25 јуни, ќе се фокусира на „Автоматизација на интелигенцијата: Машинско учење и иднината на производството“. Користењето МЛ и АИ за социјално асистивна роботика (САР) е истражено во четвртокот на Маја Матариќ, универзитет во Јужна Калифорнија, која ќе претстави „Автоматизација наспроти зголемување: Социјално асистивни роботи и иднината на работата“.
Друг главен застапник се залага за RISC-V како средство за ослободување на архитектите од сопственичките архитектури на инструкции (МСР). Дејвид А Патерсон, Гугл и Универзитетот во Калифорнија, ќе претстават „Ново златно доба за компјутерска архитектура: специфични забрзувачи на домен и отворен RISC-V“.
Нова област оваа година на ДАЦ е Алејата за дизајн на инфраструктурата. Иницијативата на Алијансата ESD и Здружението за компјутерски професионалци со високи перформанси е област посветена на ИТ инфраструктурата за дизајнирање на електронски системи и компоненти. Како и барањата за компјутери и складирање за дизајнирање и управување со употребата на облакот, постои и посветен театар за павилјон Дизајн на-на-Облак, кој дискутира за управување со лиценци, мрежни компјутери и безбедност на податоци.