A San Francisco-i Moscone Center DAC-ot rendez június 25–28-án

A OneSpin Solutions és az Austemper Design Systems egyaránt kiemelik a funkcionális biztonsági ellenőrzés eszközeit. Az Austemper a küldetés-kritikus rendszer fejlesztésére összpontosít, a KaleidoScope eszközkészlettel, amely támogatja az analóg tervezést az egyidejű, vegyes jelű hibaterjesztéshez. Az automatizált eszközkészlet biztonsági elemzés, szintézis és ellenőrzési képességekkel rendelkezik a tanúsításorientált alkalmazásokhoz. Nagyméretű autótervezéshez, ADAS-hoz és autonóm vezetéshez használják. Az egyidejű hibaszimuláció magában foglalja az ISO 26262 által ajánlott szimulációkat is, hogy megfeleljenek az ASIL követelményeinek.

A társaság nemrégiben együttműködött az OneSpin Solutions-szel, hogy eszköz-támogatott módszert alkalmazzon a funkcionális biztonsági alkalmazásokhoz, kombinálva a tervezési és ellenőrzési folyamatot, amelyet a OneSpin standján mutatnak be. A hardverbiztonsági mechanizmusokat beépítik a chip tervekbe, és a OneSpin Solutions eszközei hivatalosan ellenőrzik a hardverbiztonsági logikát. Az egyenértékűség ellenőrzése biztosítja, hogy a beillesztett biztonsági logika nem befolyásolja a rendszeres működést, és a hibadetektálás elemzése ellenőrzi, hogy a biztonsági mechanizmusok megfelelő módon működnek-e véletlenszerű hibák esetén.

Az OneSpin elősegíti az eszközminősítő készletét is, miután a TÜV SÜD ellenőrizte szerszámfejlesztési folyamatait. A kezdeti készlet elérhető a vállalat 360 EC-FPGA EDA eszközéhez, egy automatikus szekvenciális ekvivalencia-ellenőrzéshez, amely megakadályozza, hogy az FPGA tervezési folyamatok bevezesse a végrehajtási hibákat. A készlet az ISO 26262, IEC 61508 és EN 50128 tanúsítvánnyal rendelkezik.

FPGA betekintés

Az FPGA tervezésével együtt a Plunify együttműködött a Xilinx-szel, hogy a Vivado tervezőcsomagot felhőben kínálja a Plunify Cloud platformon keresztül. A tervezők mindössze 50c-t fizetnek egy Vivado-projekt összeállításáért az Amazon Web Services (AWS) felhőn, beleértve a licenceket is.

A társaság bemutatja az InTime időzítő bezárási szoftverének fejlesztéseit is, hogy optimalizálja az FPGA időzítését a felhőben (1. ábra). Az InTime optimalizálási módszertan 20–80% -kal javíthatja az órák gyakoriságát, és a gépi tanulás révén hetek helyett napokban, és hetekben felel meg az időmérési követelményeknek. A szoftver emellett felgyorsítja az időzítés bezárását és optimalizálását, és a felhőn keresztül érhető el.

Az eFPGA technológia előmozdítása érdekében az Achronix Semiconductor együttműködik az IP szakértő CAST-szel az átviteli sebesség növelése és a memória tárolásának megtakarítása érdekében.

A két kiállító elmagyarázza, hogy a CAST veszteségmentes tömörítési IP-jét miként portolták át az Achronix FPGA portfólióba, az adatközponti és a mobil él adatátviteli alkalmazásokhoz való felhasználására. A Deflate, GZIP és ZLIB veszteségmentes tömörítési szabványának hardver megvalósítása kompatibilis a tömörítéshez vagy a dekompresszióhoz használt szoftver implementációkkal, akár 100 Gbit / s átviteli sebesség elérésére, alacsony tömörítéssel és alacsony késleltetéssel, valamint a Speedcore eFPGA technológiával együtt a nagy méretű fájlok mozgatásához és tárolásához. adatok alacsony energiafogyasztással.

A CAST átvitte IP-jét az Achronix FPGA-jára

Energiahatékonyság

Az energiagazdálkodásról beszélve, egy másik kiállító, Baum, az energiahatékonyságot azonosítja a chip-tervezés legfejlettebb területeként. Automatizált energiaelemző és modellező eszközét autóipari, tárgyak internete, mobil, hálózati és szerver projektekhez tervezték. A PowerBaum 2.0 (3. ábra) támogatja a dinamikus és statikus energiát, figyelembe véve az RTL és a netlist leírásokat, és támogatja az energiaelemzést a hardveres emulációval. A cég szerint ez lehetővé teszi a mérnököknek, hogy a realisztikus szoftverhelyzetekben javítsák meg az áramellátást. Az eszköz támogatja az elemzést a tervezők által megadott tetszőleges hőmérsékletekkel is, hogy felmérje a hőmérséklet hatását a terv energiafogyasztására.

A DAC-nál a társaság bemutatja a PowerWurzel-t is, a kapu szintű energiaelemző motort, amelyet integrálni kell a PowerBaummal az energia modellezéséhez.

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

A Metrics IC-n történő felhőalapú SoC tervező és ellenőrző eszközei tartalmazzák a Cloud Simulator és a Verification Manager szoftvert, amelyeket a szimulációs követelmények és erőforrások kezelésére terveztek, percenként felfelé vagy lefelé módosítva. A cég állítása szerint a Google Cloud korlátlan UVM-kompatibilis SystemVerilog szimulációs kapacitást és natív, webalapú ellenőrzési menedzsmentet tesz lehetővé a gyorsabb regressziós idők, a törzskód-hibák csökkentése és a kiszámítható kód lefedettség érdekében.

A kiállítók mellett az esemény műszaki foglalkozásokat és az aktuális területeket bemutató kiindulójegyek programját is rendezi. Ebben az évben például a Cadence bemutatója lesz a „Funkcionális biztonság és megbízhatóság az autóipari alkalmazásokban”, és egy a gépi tanulásról („A Machine Learning a beszédfelismerés teljesítményét a következő szintre hozza”). Anna-Katrina Shedletsky, az Instrumental kezdője, június 25-én, hétfőn a „Intelligencia automatizálása: gépi tanulás és a gyártás jövője” témájára összpontosít. Az ML és az AI használatát a társadalmilag segítő robotikában (SAR) a csütörtök kulcsszavában vizsgálja Maja Matarić, a Dél-Kaliforniai Egyetem, aki az „Automatizálás vs kiterjesztés: társadalmilag segítő robotok és a munka jövője” című előadást mutatja be.

Egy másik vitaindító a RISC-V-t támogatja, mint az építészeket a szabadalmaztatott utasításkészlet-architektúrák (ISA) megszabadításához. David A Patterson, a Google és a Kaliforniai Egyetem bemutatja az „Új aranykor a számítógépes építészetben: domain-specifikus gyorsítók és az Open RISC-V” című cikket.

Ebben az évben a DAC új területe a Design Infrastructure Alley. Az ESD Szövetség és a Nagyteljesítményű Számítástechnikai Szakemberek Szövetsége kezdeményezése olyan terület, amely az informatikai infrastruktúrának szentelte az elektronikus rendszerek és alkatrészek tervezését. A felhő tervezéséhez és használatának kezeléséhez szükséges számítási és tárolási követelményeken túlmenően van egy dedikált Design-on-the-Cloud pavilon színház is, amely megvitatja az engedélykezelést, a hálózati számítást és az adatbiztonságot.