Moscone Center, San Francisco, isännöi DAC: ta 25.-28. Kesäkuuta

OneSpin Solutions ja Austemper Design Systems korostavat työkaluja toiminnallisen turvallisuuden todentamiseksi. Austemper keskittyy operatiivisen kriittisen järjestelmän kehittämiseen KaleidoScope-työkalusarjan avulla, joka tukee analogista suunnittelua samanaikaisten, sekoitettujen signaalien virheiden etenemiseen. Automaattisessa työkalusarjassa on turvallisuusanalyysi, synteesi ja varmennusominaisuudet varmennetulle sovellukselle. Sitä käytetään suurissa mittakaavoissa autosuunnittelussa ADAS-järjestelmissä ja autonomisessa ajossa. Samanaikainen vikasimulointi sisältää ISO 26262: n suosittelemia simulaatioita ASIL-vaatimusten noudattamiseksi.

Yhtiö on äskettäin toiminut yhteistyössä OneSpin Solutions -yrityksen kanssa työkaluilla tuetulla menetelmällä toiminnallisille turvallisuussovelluksille, joissa yhdistyvät suunnittelu- ja varmennusvirta, joka esitellään OneSpin-osastolla. Laitteistoturvamekanismit lisätään sirujen suunnitteluun ja OneSpin Solutions -työkalut tarkistavat muodollisesti laitteistoturvallisuuslogiikan. Ekvivalenssitarkistus varmistaa, että lisätty turvallisuuslogiikka ei vaikuta normaaliin toimintaan ja vianmääritysanalyysi varmistaa, että turvamekanismit toimivat kunnolla satunnaisten virheiden sattuessa.

OneSpin edistää myös työkalunvalvontapakettiaan sen jälkeen, kun TÜV SÜD on varmistanut työkalukehitysprosessinsa. Alkupaketti on saatavana yrityksen 360 EC-FPGA EDA -työkaluun, joka on automaattinen peräkkäisen vastaavuuden tarkistus, joka estää FPGA-suunnitteluprosesseja aiheuttamasta käyttöönottovirheitä. Pakkaus on sertifioitu ISO 26262, IEC 61508 ja EN 50128 mukaan.

FPGA-oivallukset

Vieläkin FPGA-suunnittelussa Plunify on tehnyt yhteistyötä Xilinxin kanssa tarjotakseen Vivadon suunnittelusarjan pilvessä Plunify Cloud -alustan kautta. Suunnittelijat maksavat niin vähän kuin 50c, jotta ne kääntävät Vivado-projektin Amazon Web Services (AWS) -pilveen, mukaan lukien lisenssit.

Yhtiö esittelee myös parannuksia InTime-ajoituksen sulkemisohjelmistoonsa FPGA-ajoituksen optimoimiseksi pilvessä (kuva 1). InTime-optimointimenetelmä voi parantaa kellotaajuutta 20–80% ja täyttää ajoitusvaatimukset päivissä, eikä viikoissa koneoppimisen avulla. Ohjelmisto nopeuttaa myös ajoitusten sulkemista ja optimointia, ja siihen päästään pilven kautta.

Edistää eFPGA-tekniikkaa, Achronix Semiconductor tekee yhteistyötä IP-asiantuntija CAST: n kanssa lisätä suorituskykyä ja säästää muistin tallennusta.

Kaksi näytteilleasettajaa selittävät, kuinka CAST: n häviöttömä pakkaus-IP on siirretty Achronix FPGA -portfelliin käytettäväksi datakeskuksen ja mobiililaitteen tiedonsiirtosovelluksissa. Häviötöntä pakkausstandardin laitteisto-toteutus Deflate-, GZIP- ja ZLIB-laitteille on yhteensopiva pakkaamiseen tai purkamiseen käytettävien ohjelmisto-toteutusteiden kanssa, jotta saadaan aikaan jopa 100 Gbit / s suorituskyky alhaisella pakkauksella ja alhaisella viiveellä, yhdistettynä Speedcore eFPGA -tekniikkaan suurten siirtämiseen ja varastointiin. tiedot alhaisella virrankulutuksella.

CAST on siirtänyt IP: nsä Achronixin FPGA-laitteisiin

Energiatehokkuus

Virranhallinnasta puhuttaessa toinen näytteilleasettaja, Baum, tunnistaa energiatehokkuuden alimmaksi alueeksi sirujen suunnittelussa. Sen automaattinen virran analysointi- ja mallinnustyökalu on suunniteltu auto-, Internet-, mobiili-, verkko- ja palvelinprojekteihin. PowerBaum 2.0 (kuva 3) tukee dynaamista ja staattista tehoa ottamalla RTL- ja netlist-kuvaukset ja lisää tukea virran analysointiin laitteiston emuloinnin avulla. Tämän mukaan yrityksen mukaan insinöörit voivat korjata virheet realistisissa ohjelmistosuunnitelmissa. Työkalu tukee myös analysointia mielivaltaisilla lämpötiloilla, jotka suunnittelijat ovat määrittäneet, jotta voidaan arvioida lämpötilan vaikutuksia suunnittelun virrankulutukseen.

DAC: ssä yritys esittelee myös PowerWurzelin, portin tason tehoanalyysimoottorin, joka integroidaan PowerBaumiin virran mallinnusta varten.

Kuva 3 Baumin työkalut analysoivat energiatehokkuutta

Pilvipohjaiset SoC-suunnittelun ja todentamisen työkalut IC-suunnittelulle Metricsiltä sisältävät Pilvisimulaattorin ja Verification Manager -sovelluksen, jotka on suunniteltu hallitsemaan simulointivaatimuksia ja resursseja säätämällä niitä ylös tai alas joka minuutti. Yhtiö väittää, että Google Cloud mahdollistaa rajoittamattoman UVM-yhteensopivan SystemVerilog -simulointikapasiteetin ja natiivin verkkopohjaisen todentamisen hallinnan nopeampien regressioaikojen, vähentyneiden runko-virheiden ja ennustettavan koodin kattavuuden takaamiseksi.

Näytteilleasettajien lisäksi tapahtumassa järjestetään teknisiä istuntoja ja ajankohtaisia ​​alueita käsittelevä avainsanojen ohjelma. Esimerkiksi tänä vuonna Cadence järjestää opetusohjelman 'Autosovellusten toiminnallinen turvallisuus ja luotettavuus' ja yhden koneoppimisesta ('Koneoppiminen vie puheentunnistuksen suorituskyvyn seuraavalle tasolle'). Instrumentaalin Anna-Katrina Shedletskyn aloitusohjelma keskittyy maanantaina 25. kesäkuuta 'Älykkyyden automatisointi: koneoppiminen ja valmistus tulevaisuus' -kohtaan. ML: n ja AI: n käyttämistä sosiaalisesti avustavaan robotiikkaan (SAR) tutkii torstaina aloittamassa Etelä-Kalifornian yliopiston Maja Matarić, joka esittelee 'Automaatio vs. augmentointi: sosiaalisesti avustavat robottidokumentit ja työn tulevaisuus'.

Toinen avainsana kannattaa RISC-V: tä keinona vapauttaa arkkitehdit omistamilta käskyjoukkoarkkitehtuureilta (ISA). David A Patterson, Google ja Kalifornian yliopisto, esittelevät uuden tietokoneen arkkitehtuurin kultakauden: Verkkotunnuskohtaiset kiihdyttimet ja avoin RISC-V.

DAC: n uusi alue tänä vuonna on suunnitteluinfrastruktuurikuja. ESD-allianssin ja korkean suorituskyvyn tietojenkäsittelyalan ammattilaisten yhdistyksen aloite on alue, joka on omistettu tietotekniikkainfrastruktuurille sähköisten järjestelmien ja komponenttien suunnitteluun. Pilven suunnittelua ja käytön hallintaa koskevien laskenta- ja tallennusvaatimusten lisäksi on myös oma Design-on-the-Cloud -paviljonkiteatteri, joka käsittelee lisenssien hallintaa, verkkolaskentaa ja tietoturvaa.