Projekti kiirema kinnitamise saavutamine

Suurte kiipide projekteerimisprojektide puhul võib loogika kontrollimine olla suurem kui projekteerimisel kuluv pingutus, võttes arvesse kuni 70% projekti ajast. 2022 Wilsoni uurimisrühm leiud. Kahjuks on esimese räni edukuse määr viimase 31 aasta jooksul langenud 24 protsendilt kõigest 8 protsendini, mis on põhjustanud järjekordse pöörde vigade parandamiseks, makstes ettevõtetele turule jõudmise aega ja kahjustades kindlasti nende tuluplaane. Parem kontrollimine parandaks kindlasti esimest räni edu, kuid seda on lihtsam öelda kui teha.

Mõned teised kainestavad numbrid Wilsoni uurimisrühma uuringust:

• ASIC – 24% esimest korda õnnestub, 36% lõpetab õigeaegselt
• FPGA – 16% saavutab nulli vea põgenemise, 30% lõpetab õigeaegselt

Disaini kontrollimisel on palju keerulisi töid: silumine, testide loomine ja seejärel mootorite käivitamine, testbanki arendamine ja katsete planeerimine. Ideaalis soovib teie meeskond minimeerida läbivaatamisaega, jõuda kinnituse sulgemiseni kõige vähemate inimestega ja arvutada ressursse, järgida ohutusnõuetele vastavust ja teada, millal projekteerimise kvaliteet on kontrollimise lõpetamiseks piisavalt kõrge, järgides samal ajal projekti ajakava.

Sain hiljuti värskenduse Siemensi EDA disainikontrolli eksperdilt Darron Maylt, et kuulda äsja väljakuulutatud asjast, mida nimetatakse Questa Verification IQ. Nende lähenemisviis hõlmab andmepõhist kontrollimist, mis põhineb jälgitavuse, koostöö ja tehisintellekti/ML-i toel põhineva analüüsi kasutamisel. Traditsiooniline analüütika andis piiratud tootlikkuse ja ülevaate lihtsalt loogilise käitumise kirjeldamise ja diagnoosimise kohta, samas kui suurandmetepõhine analüüs, mis kasutab AI/ML-i, pakub kontrollimiseks ennustavaid ja ettekirjutavaid toiminguid. Tarkvara- ja riistvarameeskonnad muutuvad produktiivsemaks, tehes koostööd kasutades CI (Pidev integreerimine), Väle meetodid, ALM (Application Lifecycle Management), pilvepõhine disain ja AI/ML tehnikate rakendamine. Ohutuskriitilistes tööstusharudes on nõuete, rakendamise ja kontrollimise vaheline jälgitavus, nagu on määratletud tööstusstandardites, nagu ISO 26262 ja DO-254.

Siin on suur pilt sellest, kuidas Quest Verification IQ ühendab kõik andmed erinevatest kinnitusmootoritest andmepõhiseks vooluks koos ALM-tööriistaga.

Katvuse andmed kogutakse loogilise simulatsiooni abil (See), emuleerimine ja prototüüpimine (Veloce), AMS (Sümfoonia), ametlik (OneSpin), Staatiline ja FuSa. ML-funktsioon analüüsib kõiki neid andmeid, et ennustada mustreid ja paljastada võimalikud augud, juhtida tähelepanu algpõhjustele ja seejärel määrata tegevusi katvuse parandamiseks. Näidatud ALM on Polarioon Siemensilt, kuigi võite kasutada ka teist ALM-i, nagu saate kasutada oma lemmikkinnitusmootoreid.

Questa Verification IQ on brauseripõhine raamistik, mis sisaldab protsessijuhendit, et saaksite kõigi nõuete kavandamiseks ja jälgimiseks elutsükli haldamise abil luua ohutuskriitilise voo. Regressiooninavigaator võimaldab teie meeskonnal luua ja teostada teste, jälgida tulemusi ja omada täielikku kinnitusajalugu. Katvuse analüsaatoriga teate, kui täielik on teie koodi, funktsionaalplokkide ja testiplaanide katvus. Lõpuks pakub esitatud andmeanalüütika teile mõõdikuplatvormi, mis kasutab projekti armatuurlaudu ja pakub ristanalüüsi.

Veebipõhine raamistik sobib igas mahus elektroonikaprojektidele ja te ei pea installima tarkvara ega muretsema oma OS-i värskendamise pärast. Samuti toetab see avalikku, privaatset või hübriidpilve seadistust. AI/ML rakendamine kiirendab kinnitamise sulgemise protsessi, samas kui silumistegevus kiireneb, kuna algpõhjuste analüüs aitab täpselt kindlaks teha, mida parandada.

Küsisin Darron Maylt paar täpsustavat küsimust.

K: Kas ma saan Questa Verification IQ-d kombineerida mis tahes EDA müüja tööriista ja ALM-iga?

A: Questa Verification IQ toetab standardipõhise lähenemisviisi kaudu ALM-i tööriistu ja mootoreid. See liidestub ALM-i tööriistadega, kasutades Open Services for Lifecycle Collaboration (OSLC), nii et saab kasutada kõiki standardit toetavaid tööriistu, nagu Doors next või Siemens Polarion ja Teamcenter. Questa Verification IQ saab käivitada mis tahes mootori ja jällegi on meil tugi katvusele Unified Coverage Interoperability Standardi (UCIS) kaudu.

K: Kuidas seda lähenemist võrrelda Synopsys DesignDashiga?

A: Synopsys DesignDash keskendub disainiandmete ML-le, samas kui Questa Verification IQ keskendub andmepõhisele verifitseerimisele, kasutades analüütikat, sealhulgas ML-i, et kiirendada kontrollimise sulgemist, vähendada pöördeaegu ja tagada protsessi maksimaalne tõhusus. Questa Verification IQ pakub brauseripõhises raamistikus tsentraliseeritud juurdepääsuga andmetele meeskonnapõhiseks verifitseerimishalduseks vajalikke rakendusi.

K: Kuidas see lähenemine on võrreldav Cadence Verisiumiga?

A: Cadence Verisium keskendub ainult ML-abiga kinnitamisele. Võrdluseks pakub Siemens Questa Verification IQ täielikku andmepõhise verifitseerimislahendust, mida toetab Analytics, koostöö ja jälgitavus. Kinnitushaldus on saadaval brauseripõhises tööriistas, mille rakendused on üles ehitatud koostööle. Coverage Analyzer toob kaasa valdkonna esimese koostööpõhise katvuse sulgemise tööriista, mis kasutab analüütilist navigeerimist, mida toetab ML. Küsimuse kontrollimine IQ liidestub Siemens Polarioniga, kasutades OSLC-d, ja tagab rakenduse elutsükli haldusega tiheda digitaalse lõime jälgitavuse ilma kasutajaliidese konteksti muutmata, tuues ALM-i võimsuse riistvarakontrolli.

kokkuvõte

Mulle avaldavad alati muljet uued EDA tööriistad, mis muudavad keeruka ülesande lihtsamaks, töötades nutikamalt ega nõua inseneridelt rohkem tunde käsitsi tööd tegema. Kuna tuttavad ettevõtted, nagu Arm ja Nordic Semiconductor, on Questa Verification IQ varajased heaks kiitnud, näib, et Siemens EDA on lisanud kontrollimeeskondadele midagi veenvat, mida võiks kaaluda.

Seotud blogid

Jaga seda postitust:

• SEO-põhise sisu ja PR-levi. Võimenduge juba täna.
• Platoblockchain. Web3 metaversiooni intelligentsus. Täiustatud teadmised. Juurdepääs siia.
• Allikas: https://semiwiki.com/eda/324031-achieving-faster-design-verification-closure/