Tarkistukset Horizons 2021, nyt lisää Siemens

Keskustelussaan Siemens EDA: n Tom Fitzpatrickin kanssa hän muistutti, että heidän Verification Horizons -uutiskirjeensä alkoi 17 vuotta sitten, kun he olivat Mentoria. Olemme tienneet Siemensin hankinnasta jo jonkin aikaa. Kauppa saatiin päätökseen maaliskuussa 2017, mutta oikeushenkilön sulautuminen saatiin päätökseen vasta 1. tammikuuta 2021. Tämä tekee tästä uutiskirjeen ensimmäisen version, jossa heillä on ollut tarpeeksi aikaa omaksua ja ilmaista Siemensin kaltevuus Verification Horizonsiin.

Tom toisti, että merkittävä motivaatio hankinnassa oli Siemensin vision toteuttaminen digitaalisista kaksosista. Nämä alkavat suuresta järjestelmänäkymästä (kuten esimerkiksi lentokoneesta). Mekaaniset, fluidiset, lämpö-, ohjelmisto- ja niin edelleen. Nykyaikaisissa järjestelmissä on nyt niin paljon uutta sähköistä sisältöä, että mallinnuksen on ulotuttava myös näiden osajärjestelmien sisälle. Verification Horizonsin syyskuun numero kattaa useita tämän suuntauksen taustalla olevia aiheita. Kosketan vain muutamia.

Digitaaliset säikeet, kaksoset, MBSE ja IC -kehitys

Mallipohjainen järjestelmätekniikka (MBSE) on uusi suosikkiteemani, joka ohjaa mallinnusta ja suunnittelua lopullisesta järjestelmästä (esim. Lentokoneesta) aina sosiaalisiin järjestelmiin asti. Siemens hahmottaa Arcadia-nimisen menetelmän, jota he käyttävät System Modeling Workbench -laitteessaan kuvaamaan ja hajottamaan korkean tason vaatimuksista ja lohkotoiminnoista yksittäisiin komponentteihin. SysML on mallinnuskieli, jota käytetään yleisesti kuvaamaan käyttäytymistä ja rajoituksia näillä ylemmillä tasoilla.

Miten IC -suunnittelu ja erityisesti todentaminen ovat vuorovaikutuksessa näiden korkeampien tasojen kanssa? Uutiskirjeessä esitetyssä esimerkissä ne yhdistävät TLM (eli ohjelmistomallit) -malleja IC -komponenttien käyttäytymiseen ja vaatimusten tarkistamiseen kattavuusanalyysin avulla. Lentokoneesimerkissä he puhuvat DO-254 -luettelosta, joista jokainen vaatii testin ja vahvistuksen testin läpäisemisestä. Tähän he lisäisivät kattavuustiedot täydentämään vaatimusten kattavuutta.

Tarkistetaan tekoälyä tukevat SoC: t HPC: lle

Markkinapaineiden aika on nykyään yhtä aktiivista näissä yhteiskuntasopimuksissa kuin muuallakin, vaikka tällaiset järjestelmät ovat hirviöitä ja vaativat erittäin laajoja laitteisto- ja ohjelmistotestauksia. (Suuri osa siitä, mitä he kuvaavat tässä artikkelissa, pätee myös suuriin ei-tekoälyjärjestelmiin, mutta luulen, että tämän kirjoituksen taustalla oli todellinen tekoälyn suunnittelukokemus 😀.) He puhuvat tässä erityisesti laitteiston ja ohjelmiston rinnakkaisen kehittämisen tarpeesta. Tämä alkaa virtuaalisesta alustasta ja etenee IP RTL -kehitykseen rinnakkain ohjaimen kehityksen kanssa ja niin edelleen ennen pii-esittelyä sovelluksilla ja pii-jälkeisellä esittelyllä.

Artikkeli korostaa, että tätä kehitystyyliä on tuettava emuloinnin ja prototyyppien yhdistelmällä. Emulointi laitteistosuunnittelun ja varhaisten ohjelmistosovellusten kehittämisen kautta, koska myös täällä validoinnin on ymmärrettävä laitteistotestikuormat. Prototyyppien valmistus myöhässä ja ohjelmistosovellusten kehittämisen aikana, koska siellä tarvitaan ohjelmiston suorituskykyä. Tässä artikkelissa korostetaan Siemensin kaksiosaisen prototyyppiratkaisun etuja: Veloce Primo jopa 12B-porteille ja ICE-tuki sekä Veloce ProFPGA, joka toimittaa prototyyppejä asiakkaille.

DDR5 -muisti -alijärjestelmän tarkistaminen

Tykkään puhua sovelluksista, joten tämä on viimeinen valintani syyskuun uutiskirjeen artikkeleista. Suuren kaistanleveyden muisti on yleisemmin integroitu suuriin palvelinprosessoreihin, tekoälyjärjestelmiin ja muihin suuriin SoC -järjestelmiin. Tätä varten tarvitsemme vielä nopeampia linkkejä digitaalisista pääpelistä näihin DRAM-pakkauksiin. Viimeisin julkaistu standardi on DDR5, joka tarjoaa kaksinkertaisen kaistanleveyden pienemmällä teholla kuin DDR4.

Siemens tarjoaa QVIP -protokollia sekä sirulle että DIMM DDR5 -muistille. Tässä kirjoituksessa käsitellään melko yksityiskohtaisesti suunnittelun yhdistämistä ja määrittämistä. Lisäksi käännös- ja simulointikomentosarjojen luominen sekä simulaation ja virheenkorjauksen suorittaminen. En yritä tiivistää näitä muita kuin huomata, että ne auttavat skenaarioiden luomisessa. Myös väitteitä, tapahtumia, suorituskykyanalyysejä ja paljon muuta. Jos tämä on sinua kiinnostava alue, seuraa linkkiä. Ne tarjoavat paljon enemmän yksityiskohtia kaikista näistä aiheista.

Tässä numerossa on paljon hyvää materiaalia Tarkistukset Horizons. Tom loi myös oman blogikirjoituksensa. Molemmat ovat lukemisenne arvoisia!

Jaa tämä viesti: Lähde: https://semiwiki.com/artificial-intelligence/302796-verifications-horizons-2021-now-more-siemens/