Moscone Center, Сан-Франциско, DAC 25-28 июнда өтөт
OneSpin Solutions жана Austemper Дизайн Системалары функционалдык коопсуздукту текшерүү куралдарын белгилешет. Austemper бир мезгилде, аралаш сигналдарды жайылтуу үчүн аналогдук дизайнды колдогон KaleidoScope инструменти менен, миссиянын маанилүү тутумун өнүктүрүүгө көңүл бурат. Автоматташтырылган шайман пакети коопсуздук талдоо, синтездөө жана тастыктоо мүмкүнчүлүктөрүнө ээ, сертификацияга багытталган колдонмолор үчүн. Бул ADAS жана автономдуу айдап ири масштабдуу унаа үлгүлөрү үчүн колдонулат. Бир мезгилде күнөөнү симуляциялоо 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 түшүнүктөрү
FPGA дизайны менен дагы эле, Plunify Xilinx менен кызматташып, Plunify Cloud платформасы аркылуу булуттагы Vivado дизайн топтомун сунуш кылды. Дизайнерлери Amazon Web Services (AWS) булутундагы Vivado долбоорун, анын ичинде лицензияларын түзүү үчүн 50cден аз акча төлөшөт.
Компания ошондой эле булуттагы FPGA убактысын оптималдаштыруу үчүн InTime убакытты жабуу программасынын жакшыртууларын көрсөтөт (1-сүрөт). InTime оптималдаштыруу методикасы саат жыштыгын 20дан 80% га чейин жакшыртып, убакыттын талаптарын бир нече жумада эмес, машина аркылуу үйрөнсө болот. Программа ошондой эле убакытты жабууну жана оптимизациялоону тездетет жана ага булут аркылуу жетүүгө болот.
EFPGA технологиясын жайылтуу менен, Achronix Semiconductor өндүрүштү жогорулатуу жана эс тутумду үнөмдөө максатында CAST IP адиси менен кызматташат.
Эки көргөзмө CASTдин жоготуусуз кысуу IP маалымат борборунда жана мобилдик четинде маалыматтарды берүү тиркемелеринде колдонуу үчүн Achronix FPGA портфолиосуна кандайча өткөрүлүп берилгенин түшүндүрүп берет. Deflate, GZIP жана ZLIB үчүн коромжусуз кысуу стандартынын аппараттык жүзөгө ашырылышы, 100Gbit / s чейин аз компрессия жана кечигүү менен өндүрүмдүүлүктү камсыз кылуу үчүн кысуу же декомпрессиялоо үчүн колдонулган программалык камсыздоолорго шайкеш келет, жана Speedcore eFPGA технологиясы менен бирге чоң кыймылдоо жана сактоо аз кубаттуулуктагы маалымат.
CAST өзүнүн IPин Achronix’тин FPGA'ларына өткөрдү
Энергия натыйжалуулугу
Электр энергиясын башкаруу жөнүндө сөз кылганда, дагы бир көргөзмөгө катышуучу Баум чиптерди жасоодо энергоэффективдүүлүктү өнүкпөгөн аймак катары аныктайт. Анын автоматташтырылган кубаттуулугун анализдөө жана моделдөө куралы унаа, IOT, мобилдик, тармактык жана сервердик долбоорлор үчүн иштелип чыккан. PowerBaum 2.0 (3-сүрөт) динамикалык жана статикалык кубаттуулукту колдойт, RTL жана netlist сүрөттөмөсүн алат жана аппараттык эмуляция менен кубаттуулукту талдоону колдойт. Бул, дейт компания, инженерлерге электр мүчүлүштүктөрүн реалдуу программалык сценарийлерде жоюуга мүмкүндүк берет. Ошондой эле, инструмент дизайнер тарабынан аныкталган, температуранын долбоордун кубатын керектөөсүнө тийгизген таасирин баалоо үчүн, каалаган температурасы менен талдоону колдойт.
DAC компания, ошондой эле PowerWurzel, кубаттуулукту моделдөө үчүн PowerBaum менен интеграцияланган даража деңгээлиндеги кубаттуулукту анализдөөчү кыймылдаткычты киргизет.
3-сүрөт. Баумдун шаймандары энергиянын натыйжалуулугун талдайт
Metrics компаниясынын IC долбоорун иштеп чыгуучу булут негизиндеги SoC дизайны жана текшерүү куралдары булут симуляторун жана текшерүү менеджерин камтыйт, аларды симуляция талаптарын жана ресурстарды башкарууга арналган, аларды мүнөт сайын өйдө же ылдый жөндөө. Компаниянын айтымында, Google Cloud чексиз UVM талаптарына жооп берген SystemVerilog моделдөө мүмкүнчүлүгүн жана жергиликтүү, веб-негизделген текшерүүнү тезирээк регрессия жолу, магистралдык код каталарын азайтуу жана коддун алдын ала камтуу мүмкүнчүлүгүн берет.
Көргөзмөдөн тышкары, иш-чарада техникалык сессиялар жана актуалдуу багыттарга арналган ачкыч программасы өткөрүлөт. Мисалы, ушул жылы Каденс "Автоматтык тиркемелердин функционалдык коопсуздугу жана ишенимдүүлүгү", ал эми бирөө машинаны үйрөнүү боюнча ("Машина үйрөнүү сүйлөө таануу ишин кийинки деңгээлге чыгарат") сабак өтөт. Анна-Катрина Шедлецкийдин, Инструменталдык, 25-июнда, дүйшөмбүдө жасаган негизги сөзүндө "Автоматташтырылган интеллект: Машиналык окутуу жана өндүрүштүн келечеги" деген темада сөз болот. Коомдук жардамчы робототехника (SAR) үчүн ML жана AI колдонуу бейшембидеги Түштүк Калифорния Университетинин Мажа Матаричтин негизги баяндамасында изилденип, ал ‘Автоматизация жана Авгентташтыруу: Социалдык жардамчы роботтор жана иштин келечеги’ темасын сунуш кылат.
Дагы бир негизги сөз архитекторлорду менчик нускамасынын архитектурасынан (ISA) арылтуунун каражаты катары RISC-Vди жактайт. Дэвид А Паттерсон, Google жана Калифорния Университети, ‘Компьютердик Архитектура үчүн Жаңы Алтын Доор: Доменге Өзгөчө Ылдамдаткычтар жана Ачык RISC-V’ди тартуулашат.
Быйыл DACта жаңы багыт - Дизайн инфраструктурасы аллеясы. ТӨБ Альянсы жана Ассоциациянын Өндүрүмдүү Эсептөө Профессионалдары Ассоциациясынын демилгеси - бул электрондук тутумдарды жана компоненттерди иштеп чыгуу үчүн IT инфраструктурасына арналган багыт. Булутту иштеп чыгууга жана башкарууга эсептөө жана сактоо талаптары сыяктуу эле, лицензияларды башкаруу, тармактык эсептөө жана маалыматтардын коопсуздугун талкуулаган Булуттагы Дизайн павильонунун атайын театры бар.