Маркази Moscone, Сан-Франсиско, 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 EC-FPGA EDA -и ширкат дастрас аст, санҷиши автоматикии муодили пайдарпай, ки ҷараёни тарроҳии FPGA-ро аз ҷорӣ кардани хатогиҳои татбиқ бозмедорад. Маҷмӯа ба ISO 26262, IEC 61508 ва EN 50128 тасдиқ шудааст.
Фаҳмишҳои FPGA
Ҳоло ҳам бо тарҳи FPGA, Plunify бо Xilinx ҳамкорӣ намуда, тавассути платформаи Plunify Cloud маҷмӯи тарроҳии Vivado -ро дар абр пешниҳод кардааст. Тарроҳон барои тартиб додани лоиҳаи Vivado дар абри Amazon Web Services (AWS), аз ҷумла литсензияҳо, каме камтар аз 50c пардохт мекунанд.
Ширкат инчунин замимаҳои нармафзори бастани вақти InTime-ро барои оптимизатсия кардани вақти FPGA дар абр намоиш медиҳад (Расми 1). Методологияи Optimization InTime метавонад басомади соатро аз 20 то 80% такмил диҳад ва талаботи вақтро дар тӯли чанд рӯз иҷро кунад, на тавассути омӯзиши мошинӣ. Нармафзор инчунин бастани вақт ва оптимизатсияро метезонад ва тавассути абр дастрас карда мешавад.
Achronix Semiconductor бо таблиғи технологияи eFPGA ҳамкорӣ карда, бо мутахассиси IP CAST ҷиҳати баланд бардоштани самарабахшӣ ва сарфаи захираи хотира ҳамкорӣ мекунад.
Ду намоишгоҳ мефаҳмонанд, ки чӣ гуна IP-и фишурдасозии CAST ба портфели Achronix FPGA барои истифода дар маркази маълумот ва замимаҳои интиқоли додаҳои канори мобилӣ интиқол дода шудааст. Татбиқи сахтафзории стандарти фишурдани талафот барои Deflate, GZIP ва ZLIB, бо татбиқи нармафзоре, ки барои фишурдасозӣ ё декомпрессия истифода мешаванд, мувофиқат мекунад, то ки то 100Gbit / s гузаришро бо фишурдашавӣ ва лаззати паст таъмин кунад ва дар якҷоягӣ бо технологияи Speedcore eFPGA барои ҳаракат ва нигоҳдории калон маълумот бо истеъмоли ками барқ.
CAST IP-и худро ба FPGAs Achronix интиқол додааст
Самаранокии энергия
Сухан дар бораи идоракунии нерӯи барқ меравад, намоишгари дигар Баум самаранокии энергияро ҳамчун соҳаи аз ҳама рушдёфта дар тарроҳии чип муайян мекунад. Асбоби худкори таҳлил ва моделсозии қудрат барои лоиҳаҳои автомобилсозӣ, IoT, мобилӣ, шабакавӣ ва сервер пешбинӣ шудааст. PowerBaum 2.0 (Расми 3) қудрати динамикӣ ва статикиро дастгирӣ намуда, тавсифи RTL ва рӯйхати netlist -ро мегирад ва барои таҳлили қувваи барқ бо эҷоди сахтафзор дастгирӣ мекунад. Ин, мегӯяд ширкат, ба муҳандисон имкон медиҳад, ки хатогиҳои барқро дар сенарияҳои воқеии нармафзор ислоҳ кунанд. Ин восита инчунин таҳлилро бо ҳароратҳои худсарона, ки аз ҷониби дизайнерҳо муайян карда шудаанд, дастгирӣ мекунад, то таъсири ҳароратро ба истеъмоли қувваи тарроҳӣ муайян кунад.
Дар DAC, ширкат инчунин PowerWurzel, муҳаррики таҳлили қувваи сатҳи дарвозаеро ҷорӣ мекунад, ки бо PowerBaum барои моделсозии қудрат муттаҳид карда мешавад.
Тасвири 3 Воситаҳои Baum самаранокии энергияро таҳлил мекунанд
Асбобҳои тарроҳӣ ва тасдиқи SoC-и абрӣ барои тарроҳии IC аз Metrics аз Cloud Simulator ва Менеҷери тасдиқкунанда иборатанд, ки барои идоракунии талабот ва захираҳои моделиронӣ тарҳрезӣ шуда, онҳоро ҳар дақиқа боло ё поён танзим мекунанд. Ширкат даъво дорад, ки Google Cloud имконоти номатлуби UVM-мувофиқсозии SystemVerilog ва идоракунии тасдиқи веби вебро барои вақтҳои зудтари регрессия, коҳиш ёфтани хатоҳои коди магистралӣ ва фарогирии пешгӯишаванда фароҳам меорад.
Ғайр аз намоишгоҳҳо, дар ин чорабинӣ ҷаласаҳои техникӣ ва барномаи калидии ҳалли мавзӯъҳои мубрам баргузор мешавад. Масалан, имсол, Cadence дарси "Амнияти функсионалӣ ва эътимоднокӣ барои барномаҳои автомобилӣ" ва яке дар мавзӯи омӯзиши мошиниро баргузор мекунад ('Омӯзиши мошин иҷрои шинохтани нутқро ба сатҳи оянда мерасонад'). Як маърӯзаи Анна-Катрина Шедлецкий, Instrumental, рӯзи душанбеи 25 июн, ба 'Автоматикунонии зеҳнӣ: Омӯзиши мошинӣ ва ояндаи истеҳсолот' диққат медиҳад. Истифодаи ML ва AI барои роботикунонии иҷтимоӣ (SAR) дар маърӯзаи рӯзи панҷшанбе аз ҷониби Маҷа Матарич, Донишгоҳи Калифорнияи Ҷанубӣ омӯхта шудааст, ки 'Automation vs Augmentation: Socially Assistive Robotocs and Future of Work' -ро муаррифӣ мекунад.
Дигар маърӯза RISC-V-ро ҳамчун воситаи озод кардани меъморон аз меъмории маҷмӯии хусусӣ (ISA) ҳимоят мекунад. Дэвид А Паттерсон, Google ва Донишгоҳи Калифорния, 'Асри тиллоии нав барои меъмории компютерӣ: суръатфизоҳои мушаххаси доменҳо ва Open RISC-V' -ро муаррифӣ мекунад.
Як минтақаи нав дар DAC имсол гулгашти Дизайн Инфраструктура мебошад. Ташаббуси Эътилофи ESD ва Ассотсиатсияи мутахассисони баландсифати компютер ин соҳаест, ки ба инфрасохтори ТИ барои тарроҳии системаҳо ва ҷузъҳои электронӣ бахшида шудааст. Инчунин талаботи компютерӣ ва нигоҳдорӣ барои тарҳрезӣ ва идоракунии истифодаи абр, як театри махсуси павильони Design-on-the-Cloud мавҷуд аст, ки идоракунии литсензия, ҳисоббаробаркунии шабака ва амнияти маълумотро муҳокима мекунад.