Nopeampi suunnittelun vahvistaminen

Isoissa sirusuunnitteluprojekteissa logiikkavarmennus voi olla suurempi kuin suunnittelutyö, ja se voi viedä jopa 70 % projektin ajasta. 2022 Wilson Research Group löydöksiä. Valitettavasti ensimmäisen piin onnistumisprosentti on laskenut 31 prosentista vain 24 prosenttiin viimeisten 8 vuoden aikana, mikä on aiheuttanut uuden kierroksen virheiden korjaamiseksi, mikä on maksanut yrityksille menetettyä aikaa markkinoille ja varmasti vahingoittaa niiden tulosuunnitelmia. Parempi todentaminen parantaisi varmasti ensimmäisen piin menestystä, mutta se on helpommin sanottu kuin tehty.

Muutamia muita raitistavia lukuja Wilson Research Groupin tutkimuksesta:

• ASIC – 24 % onnistuneesta ensimmäisestä kerralla, 36 % valmistumisesta ajoissa
• FPGA – 16 % saavuttaa nollan virheenpaon, 30 % valmistuu ajallaan

Suunnittelun todentamisessa on monia vaikeita askareita: virheenkorjaus, testien luominen ja moottorien käynnistäminen, testipenkkikehitys ja testisuunnittelu. Ihannetapauksessa tiimisi haluaa minimoida läpimenoajat, saavuttaa todentamisen sulkemisen mahdollisimman vähillä ihmisillä ja laskea resursseja, noudattaa turvallisuusvaatimuksia ja tietää, milloin suunnittelun laatu on riittävän korkea, jotta varmentaminen voidaan lopettaa, mutta samalla projektin aikataulua noudatetaan.

Sain äskettäin päivityksen Siemens EDA:n suunnittelun todentamisasiantuntijalta Darron Maylta kuullakseni juuri julkistetusta asiasta, ns. Questa Verification IQ. Heidän lähestymistapansa perustuu tietoihin perustuvaan todentamiseen, joka on muodostettu jäljitettävyyden, yhteistyön ja AI/ML:n tuottaman analytiikan ympärille. Perinteinen analytiikka tarjosi rajallisen tuottavuuden ja käsityksen vain logiikan käyttäytymisen kuvaamisesta ja diagnosoinnista, kun taas suurdataan perustuva AI/ML-analytiikka tarjoaa ennakoivia ja ohjeellisia todentamistoimia. Ohjelmisto- ja laitteistotiimit ovat yhä tuottavampia tekemällä yhteistyötä käyttämällä CI (Jatkuva integraatio), Ketterä menetelmiä, ALM (Application Lifecycle Management), pilvipohjainen suunnittelu ja AI/ML-tekniikoiden soveltaminen. Turvallisuuden kannalta kriittisillä teollisuudenaloilla on tarve jäljittää vaatimusten, toteutuksen ja todentamisen välillä, kuten on määritelty toimialastandardeissa, kuten ISO 26262 ja DO-254.

Tässä on suuri kuva siitä, kuinka Quest Verification IQ yhdistää kaiken datan eri varmennuskoneista tietopohjaiseksi virtaukseksi sekä ALM-työkalun.

Kattavuustiedot kerätään logiikkasimulaatiosta (tämä), emulointi ja prototyyppien valmistus (Veloce), AMS (Sinfonia), Muodollinen (OneSpin), Static ja FuSa. ML-ominaisuus analysoi kaikki nämä tiedot ennustaakseen kuvioita ja paljastaakseen mahdolliset aukot, osoittaakseen perimmäiset syyt ja määrätakseen sitten toimia kattavuuden parantamiseksi. Esitetty ALM on Polarion Siemensiltä, ​​vaikka voit käyttää toista ALM:ää, aivan kuten voit käyttää suosikkivarmennusmoottoreitasi.

Questa Verification IQ on selainpohjainen kehys, joka sisältää prosessioppaan, jotta voit rakentaa turvallisuuden kannalta kriittisen kulun käyttämällä elinkaarihallintaa kaikkien vaatimusten suunnitteluun ja seuraamiseen. Regressionavigaattorin avulla tiimisi voi luoda ja suorittaa testejä, seurata tuloksia ja hankkia täydellisen vahvistushistorian. Kattavuusanalysaattorin avulla tiedät, kuinka kattava kattavuutesi on koodille, toiminnallisille lohkoille ja testisuunnitelmille. Lopuksi esitelty data-analytiikka tarjoaa sinulle metrijärjestelmän, joka käyttää projektien hallintapaneeleja ja tarjoaa ristikkäisiä analyysejä.

Verkkopohjainen kehys skaalautuu kaikenkokoisiin elektroniikkaprojekteihin, eikä sinun tarvitse asentaa ohjelmistoja tai huolehtia käyttöjärjestelmän päivittämisestä. Se tukee myös julkisia, yksityisiä tai hybridipilviasetuksia. AI/ML:ää käytettäessä vahvistuksen sulkemisprosessi nopeutuu, kun taas virheenkorjaustyöt nopeutuvat, koska perussyyanalyysi auttaa paikantamaan, missä parannettavaa.

Esitin Darron Maylle muutaman selventävän kysymyksen.

K: Voinko yhdistää ja yhdistää Questa Verification IQ:n minkä tahansa EDA-toimittajan työkalun ja ALM:n kanssa?

A: Questa Verification IQ tukee ALM-työkaluja ja -moottoreita standardipohjaisen lähestymistavan kautta. Se liitetään ALM-työkaluihin käyttämällä Open Services for Lifecycle Collaboration (OSLC) -palvelua, joten mitä tahansa standardia tukevaa työkalua, kuten Doors next tai Siemens Polarion ja Teamcenter, voidaan käyttää. Questa Verification IQ voi käynnistää minkä tahansa moottorin, ja meillä on jälleen tuki kattavuudelle Unified Coverage Interoperability Standardin (UCIS) kautta.

K: Miten tämä lähestymistapa verrataan Synopsys DesignDashiin?

A: Synopsys DesignDash keskittyy suunnittelutietojen ML:ään, kun taas Questa Verification IQ keskittyy datapohjaiseen todentamiseen käyttämällä analytiikkaa, mukaan lukien ML, nopeuttaakseen todentamisen sulkemista, lyhentääkseen läpimenoaikoja ja maksimoidakseen prosessin tehokkuuden. Questa Verification IQ tarjoaa sovelluksia, joita tarvitaan tiimipohjaiseen yhteistyöhön perustuvaan varmennushallintaan selainpohjaisessa kehyksessä, jossa on keskitetty pääsy tietoihin.

K: Miten tämä lähestymistapa verrataan Cadence Verisiumiin?

A: Cadence Verisium keskittyy vain ML-avusteiseen todentamiseen. Vertailun vuoksi Siemens Questa Verification IQ tarjoaa täydellisen datapohjaisen varmennusratkaisun, joka perustuu Analyticsiin, yhteistyöhön ja jäljitettävyyteen. Vahvistuksenhallinta on selainpohjainen työkalu, jonka sovellukset on rakennettu yhteistyön ympärille. Coverage Analyzer tuo alan ensimmäisen kattavuuden sulkemistyökalun, joka käyttää analyyttistä navigointia ML:n avustamana. Kysymysvarmennus IQ on liitetty Siemens Polarioniin OSLC:tä käyttäen ja tarjoaa tiukan digitaalisen säikeen jäljitettävyyden sovelluksen elinkaaren hallinnan avulla ilman käyttöliittymän kontekstin muutosta, mikä tuo ALM:n tehon laitteiston todentamiseen.

Yhteenveto

Olen aina vaikuttunut uusista EDA-työkaluista, jotka helpottavat monimutkaisia ​​tehtäviä toimimalla älykkäämmin, eivätkä vaadi insinööreiltä enemmän tunteja manuaalista työtä. Tuttujen yritysten, kuten Arm ja Nordic Semiconductor, varhaiset suositukset Questa Verification IQ:sta näyttää siltä, ​​että Siemens EDA on lisännyt vahvistustiimille jotain houkuttelevaa, jota kannattaa harkita.

Liittyvät blogit

Jaa tämä viesti:

• SEO-pohjainen sisällön ja PR-jakelu. Vahvista jo tänään.
• Platoblockchain. Web3 Metaverse Intelligence. Tietoa laajennettu. Pääsy tästä.
• Lähde: https://semiwiki.com/eda/324031-achieving-faster-design-verification-closure/