Moscone Center, San Francisco, do të presë DAC 25-28 qershor
OneSpin Solutions dhe Austemper Design Systems do të nxjerrin në pah mjetet për verifikimin e sigurisë funksionale. Austemper do të përqendrohet në zhvillimin e sistemit kritik të misionit, me mjetin KaleidoScope që mbështet modelin analog për përhapjen e gabimit të sinjalit të përzier. Paketa e automatizuar e mjeteve ka aftësi për analizë sigurie, sintezë dhe verifikim për aplikacione të orientuara drejt çertifikimit. Përdoret për dizajne të mëdha automobilistike në ADAS dhe ngarje autonome. Simulimi i njëkohshëm të defektit përfshin simulimet e rekomanduara nga ISO 26262 për të qenë në përputhje me kërkesat e ASIL.
Kompania së fundmi është partnerizuar me OneSpin Solutions për të adoptuar një metodologji të mbështetur në mjete për zbatime funksionale të sigurisë, duke kombinuar një model dhe rrjedhë verifikimi, e cila do të demonstrohet në stendën e OneSpin. Mekanizmat e sigurisë së pajisjeve janë futur në dizajnet e çipave dhe mjetet e OneSpin Solutions verifikojnë zyrtarisht logjikën e sigurisë së pajisjeve. Kontrolli i ekuivalencës siguron që logjika e futur e sigurisë nuk ndikon në funksionalitetin e rregullt dhe analiza e zbulimit të defekteve verifikon që mekanizmat e sigurisë kryejnë siç duhet në rast të gabimeve të rastit.
OneSpin po promovon gjithashtu kompletin e tij të Kualifikimit të Veglave, pas verifikimit nga TÜV SÜD të proceseve të zhvillimit të veglave të tij. Kompleti fillestar është i disponueshëm për mjetin e kompanisë 360 EC-FPGA EDA, një kontroll automatik i ekuivalencës vijuese që parandalon rrjedhat e dizajnit të FPGA të prezantojnë gabime të implementimit. Paketa është e çertifikuar në ISO 26262, IEC 61508 dhe EN 50128.
Vështrime të FPGA-së
Akoma me dizajnin FPGA, Plunify ka bashkëpunuar me Xilinx për të ofruar kompletin e dizajnit Vivado në re, përmes platformës Plunify Cloud. Projektuesit paguajnë më pak se 50c për të përpiluar një projekt Vivado në cloud Shërbimet e Ueb Amazon (AWS), përfshirë licencat.
Kompania gjithashtu do të demonstrojë përmirësime në softuerin e saj të mbylljes së kohës InTime për të optimizuar kohën e FPGA në re (Figura 1). Metodologjia e Optimizimit InTime mund të përmirësojë frekuencën e orës me 20 deri në 80% dhe të plotësojë kërkesat e kohës në ditë, në vend se javë përmes të mësuarit me makinë. Softueri gjithashtu përshpejton mbylljen dhe optimizimin e kohës dhe arrihet përmes cloud.
Promovimi i teknologjisë eFPGA, Semiconductor Achronix po bashkëpunon me IP specialist CAST për të rritur xhiros dhe për të bërë kursime në ruajtjen e kujtesës.
Të dy ekspozuesit do të shpjegojnë se si IP-ja e kompresimit pa humbje e CAST-it është transferuar në portofolin e Achronix FPGA për t'u përdorur në qendrën e të dhënave dhe aplikacionet e transferimit të të dhënave të lëvizshme. Zbatimi harduer i standardit të kompresimit pa humbje për Deflate, GZIP dhe ZLIB, është i pajtueshëm me implementimet e softuerëve të përdorura për ngjeshje ose dekompresim për të siguruar deri në 100Gbit / s xhiros me kompresim të ulët dhe vonesë të ulët, shoqëruar me teknologjinë Speedcore eFPGA për të lëvizur dhe ruajtur të dhëna në një konsum të ulët të energjisë.
CAST ka transferuar IP-në e tij në FPGA-të e Achronix
Efikasitetit të energjisë
Duke folur për menaxhimin e energjisë, një tjetër ekspozues, Baum, identifikon efikasitetin e energjisë si zona më e pazhvilluar në hartimin e çipave. Mjeti i tij i automatizuar i analizës dhe modelimit të energjisë është krijuar për projekte të automobilave, IoT, celularëve, rrjeteve dhe serverëve. PowerBaum 2.0 (Figura 3) mbështet energji dinamike dhe statike, duke marrë përshkrime RTL dhe netlist dhe shton mbështetje për analizën e energjisë me imitim të pajisjeve. Kjo, thotë kompania, lejon inxhinierët të rregullojnë gabime të energjisë në skenarët realistë të softuerit. Mjeti gjithashtu mbështet analizën me temperatura arbitrare të cilat specifikohen nga projektuesit, për të vlerësuar efektet e temperaturës në konsumin e energjisë të një modeli.
Në DAC, kompania do të prezantojë gjithashtu PowerWurzel, një motor analize të nivelit të portës që do të integrohet me PowerBaum për modelimin e energjisë.
Figura 3 Mjetet e Baum analizojnë efikasitetin e energjisë
Mjetet e verifikimit dhe të verifikimit të SoC të bazuara në re për dizajnin e IC nga Metrics përfshijnë Cloud Simulator dhe Verification Manager, i krijuar për të menaxhuar kërkesat dhe burimet e simulimit, duke i rregulluar ato lart ose poshtë çdo minutë. Kompania pretendon se Google Cloud mundëson kapacitet të pakufizuar të simulimit të UVM SystemVerilog të pajtueshëm me UVM dhe menaxhim vendas të verifikimit të bazuar në internet për kohë më të shpejta regresioni, gabime të reduktuara të kodit të trungut dhe mbulim të parashikueshëm të kodit.
Përveç ekspozuesve, ngjarja pret sesione teknike dhe një program të fjalëve kryesore që adresojnë fusha të ditës. Këtë vit, për shembull, Cadence do të organizojë një tutorial mbi 'Sigurinë dhe Besueshmërinë Funksionale për Zbatimet e Automotive', dhe një mbi të mësuarit në makinë ('Mësimi i Makinës Mban Performancën e Njohjes së Fjalës në Nivelin Tjetër'). Një fjalim kryesor nga Anna-Katrina Shedletsky, Instrumental, të hënën 25 qershor, do të përqendrohet në ‘Automatizimi i Inteligjencës: Mësimi Makineror dhe e Ardhmja e Prodhimit’. Përdorimi i ML dhe AI për robotikën ndihmëse shoqërore (SAR) është hulumtuar në fjalën kryesore të së enjtes nga Maja Matarić, Universiteti i Kalifornisë Jugore, i cili do të prezantojë ‘Automatizmi vs Zmadhimi: Robotokët Ndihmës Social dhe E Ardhmja e Punës’.
Një tjetër mbrojtës kryesor mbron RISC-V si një mjet për të çliruar arkitektët nga arkitekturat e pronave të udhëzimeve (ISA). David A Patterson, Google dhe Universiteti i Kalifornisë, do të prezantojnë ‘Një epokë të re të artë për arkitekturën e kompjuterit: Përshpejtuesit specifik të domenit dhe Open RISC-V’.
Një zonë e re këtë vit në DAC është Rrugica e Infrastrukturës së Dizajnit. Nisma nga Aleanca ESD dhe Shoqata për Profesionistët e Informatikë me Performancë të Lartë është një fushë kushtuar infrastrukturës IT për hartimin e sistemeve dhe përbërësve elektronikë. Si dhe kërkesat për informatikë dhe ruajtje për dizajnin dhe menaxhimin e përdorimit të resë, ekziston një teatër i pavijonit Design-on-the-Cloud që diskuton menaxhimin e licencës, llogaritjen e rrjetit dhe sigurinë e të dhënave.