A Moscone Center, San Francisco, a DAC június 25-28

OneSpin megoldások és Austemper Design Systems mindkettő kiemeli a funkcionális biztonsági ellenőrzés eszközeit. Az Austemper a kritikus fontosságú rendszerfejlesztésre összpontosít, a KaleidoScope eszköztárral, amely analóg tervezést támogat a párhuzamos, vegyes jelzésű hiba terjedéséhez. Az automatizált eszközkészlet biztonsági elemzéssel, szintézis és hitelesítési lehetőségekkel rendelkezik a tanúsítás-orientált alkalmazásokhoz. Az ADAS nagyméretű autóipari formatervezésére és autonóm vezetésére használják. Az egyidejű hibaszimuláció magában foglalja az ISO 26262 által ajánlott szimulációkat az ASIL követelményeknek való megfelelés érdekében.

A vállalat a közelmúltban együttműködött a OneSpin megoldásokkal a szerszám-támogatott módszerek alkalmazásához a funkcionális biztonsági alkalmazásokhoz, egyesítve a tervezés és az ellenőrzés folyamatát, amelyet a OneSpin standján mutatnak be. A hardverbiztonsági mechanizmusokat beillesztik a chipmodellekbe, és a OneSpin Solutions eszközei hivatalosan ellenőrzik a hardver biztonsági logikáját. Az ekvivalenciaellenőrzés biztosítja, hogy a beillesztett biztonsági logika ne befolyásolja a rendszeres működést, és a hibamegoldás elemzése azt igazolja, hogy véletlenszerű hibák esetén a biztonsági mechanizmusok megfelelően működnek.

A OneSpin elősegíti a szerszám-minősítési készletét is, miután a TÜV SÜD ellenőrzi eszközfejlesztési folyamatait. A kezdeti készlet a vállalat 360 EC-FPGA EDA eszközéhez, egy automatikus szekvenciális egyenértékellenőrzéshez áll rendelkezésre, amely megakadályozza az FPGA tervezési folyamatok végrehajtási hibáinak bevezetését. A készlet rendelkezik ISO 26262, IEC 61508 és EN 50128 szabványokkal.

FPGA betekintések

Még mindig FPGA design, Plunify együttműködött a Xilinxrel, hogy felajánlja a Vivado design lakosztályt a felhőben a Plunify Cloud platformon keresztül. A tervezők annyi 50 cm-t fizetnek, hogy összeállítanak egy Vivado projektet az Amazon Web Services (AWS) felhőjével, beleértve az engedélyeket is.

A vállalat az InTime időzítési záró szoftverének fejlesztését is bemutatja, hogy optimalizálja az FPGA időzítését a felhőben (1. ábra). Az InTime Optimization Methodology 20-80% -kal javíthatja az órafrekvenciát, és napi, nem pedig heteken keresztül a gépi tanulással. A szoftver felgyorsítja az időzítés lezárását és optimalizációját, és a felhőn keresztül érhető el.

Az eFPGA technológia támogatása, Achronix Semiconductor együttműködik az IP szakemberrel ÖNTVÉNY a teljesítmény növelése és megtakarítás a memóriában.

A két kiállító elmagyarázza, hogy a CAST veszteségmentes tömörítési IP-címét hogyan továbbították az Achronix FPGA portfólióba adatközpontokban és mobil szélessávú adatátviteli alkalmazásokban. A Deflate, a GZIP és a ZLIB veszteségmentes tömörítési szabványainak hardveres megvalósítása kompatibilis a tömörítéssel vagy dekompresszióval megvalósított szoftverek implementációjával, így akár 100Gbit / s átviteli sebességet is biztosít, alacsony tömörítési és alacsony késleltetés mellett, a Speedcore eFPGA technológiával kombinálva nagy alacsony energiafogyasztással.

A CAST átvitte IP-címét az Achronix FPGA-já

Energiahatékonyság

Az energiagazdálkodásról, egy másik kiállítóról, Baum, a chip kialakításában a legfejletlenebb területként határozza meg az energiahatékonyságot. Automatizált teljesítményelemzési és modellező eszköze autóipari, tárgyi eszköz, mobil, hálózati és szerverprojektek számára készült. A PowerBaum 2.0 (3. ábra) támogatja a dinamikus és statikus teljesítményt, figyelembe veszi az RTL és a netlist leírásait, és támogatja a teljesítményelemzést a hardveremulációval. Ez - mondja a cég - lehetővé teszi a mérnökök számára, hogy a reális szoftveres forgatókönyvekben rögzítsék a teljesítményhibákat. Az eszköz támogatja az önkényes hőmérséklet-elemzést is, amelyet a tervezők határoztak meg, hogy megvizsgálják a hőmérséklet hatását a tervezés energiafogyasztására.

A DAC-nál a cég bemutatja a PowerWurzel-t, a PowerBaum-hoz integrált kapaszintű teljesítményelemző motorokat a teljesítménymodellezéshez.

3. ábra Baum eszközei elemzik az energiahatékonyságot

Felhőalapú SoC tervezés és ellenőrző eszközök az IC designhez mérőszámok a Cloud Szimulátor és az Ellenőrzési Manager, amely a szimulációs követelmények és erőforrások kezelésére szolgál, és minden percben módosítja őket. A vállalat azt állítja, hogy a Google Cloud lehetővé teszi a korlátlan UVM-kompatibilis SystemVerilog szimulációs kapacitást és a natív, webalapú ellenőrzési menedzsmentet a gyorsabb regressziós idők, csökkentett trunk kód hibák és kiszámítható kódlefedettség érdekében.

A kiállítók mellett a rendezvényen technikai megbeszélések, valamint tematikus témákkal foglalkozó kulcsfontosságú programok is megrendezésre kerülnek. Ebben az évben például a Cadence bemutatja a "Funkcionális biztonság és megbízhatóság az autóipari alkalmazásokhoz" és az egyiket a gépi tanulásról ("Gépi tanulás a beszédfelismerés teljesítményét a következő szintre"). Az Anna-Katrina Shedletsky, Instrumental vitaindítója június 25-én, hétfőn a "Intelligencia automatizálás: gépi tanulás és a gyártás jövője" témájára fog összpontosítani. Az ML és az AI használatát a társadalmilag segítő robotokra (SAR) Maja Matarić, Dél-Kaliforniai Egyetem csütörtökön bemutatja, aki bemutatja az "Automation vs. Augmentation: Socially Assistive Robotocs és a Work Future" című bemutatót.

Egy másik fő vita a RISC-V-t támogatja, mint a szabadalmaztatott oktatási készlet-architektúrák (ISA-k) szabad architektúrának. David A Patterson, a Google és a Kaliforniai Egyetem "Új Arany Age for Computer Architecture: Domain specifikus gyorsítók és Open RISC-V" bemutatása.

Az idei DAC új területe a Design Infrastructure Alley. A ESD Szövetség és az Egyesület a nagy teljesítményű számítástechnikai szakemberek számára egy olyan terület, amely az elektronikus rendszerek és alkatrészek tervezésére vonatkozó informatikai infrastruktúrát szenteli. A felhő tervezésével és kezelésével kapcsolatos számítástechnikai és tárolási követelmények mellett egy dedikált Design-on-the-Cloud pavilonszínház is foglalkozik, amely a licenckezelést, a gridszámítást és az adatbiztonságot tárgyalja.