Doseganje hitrejšega zaključka preverjanja načrta

Pri velikih projektih oblikovanja čipov je lahko napor preverjanja logike večji od truda pri načrtovanju, saj vzame do 70 % časa projekta na podlagi podatkov iz 2022 Wilson Research Group ugotovitve. Na žalost se je stopnja uspešnosti prvega silicija v zadnjih 31 letih znižala z 24 odstotkov na samo 8 odstotkov, kar je povzročilo nov vrtljaj za odpravo napak, kar je podjetja stalo izgubljenega časa za trženje in zagotovo škodovalo njihovim načrtom prihodkov. Boljše preverjanje bi zagotovo izboljšalo uspeh prvega silicija, vendar je to lažje reči kot narediti.

Nekaj ​​drugih streznitvenih številk iz študije raziskovalne skupine Wilson:

• ASIC – 24 % uspeha prvič, 36 % končati pravočasno
• FPGA – 16 % doseže ničelne izhode iz napak, 30 % konča pravočasno

Preverjanje zasnove ima veliko težkih opravil: odpravljanje napak, ustvarjanje testov in nato zagon motorjev, razvoj testnih delov in načrtovanje testov. V idealnem primeru želi vaša ekipa čim bolj skrajšati čase obračanja, doseči zaključek preverjanja z najmanjšim številom ljudi in računalniških virov, izpolnjevati varnostne predpise in vedeti, kdaj je kakovost zasnove dovolj visoka, da preneha s preverjanjem, hkrati pa izpolnjuje načrt projekta.

Pred kratkim sem prejel posodobitev od strokovnjaka za preverjanje dizajna Darrona Maya pri Siemens EDA, da sem slišal o nečem, kar je bilo pravkar objavljeno, imenovano Questa Verification IQ. Njihov pristop temelji na preverjanju na podlagi podatkov, oblikovanem okoli uporabe sledljivosti, sodelovanja in analitike, ki jo poganja AI/ML. Tradicionalna analitika je zagotavljala omejeno produktivnost in vpogled v samo opisovanje in diagnosticiranje logičnega vedenja, medtem ko analitika, ki temelji na velikih podatkih in uporablja AI/ML, ponuja napovedna in predpisana dejanja za preverjanje. Skupine za programsko in strojno opremo postajajo bolj produktivne s sodelovanjem z uporabo CI (Neprekinjena integracija), Agile metode, ALM (Upravljanje življenjskega cikla aplikacije), oblikovanje v oblaku in uporaba tehnik AI/ML. Varnostno kritične industrije potrebujejo sledljivost med zahtevami, izvajanjem in preverjanjem, kot je opredeljeno v industrijskih standardih, kot sta ISO 26262 in DO-254.

Tukaj je velika slika o tem, kako Quest Verification IQ povezuje vse podatke iz različnih mehanizmov za preverjanje v tok, ki ga vodijo podatki, skupaj z orodjem ALM.

Podatki o pokritosti so zbrani iz logične simulacije (ta), Emulacija in izdelava prototipov (Veloce), AMS (Symphony), Formalno (OneSpin), Statični in FuSa. Funkcija ML analizira vse te podatke, da napove vzorce in razkrije morebitne luknje, pokaže temeljne vzroke in nato predpiše ukrepe za izboljšanje pokritosti. Prikazani ALM je Polarion od Siemensa, čeprav bi lahko uporabili drug ALM, tako kot lahko uporabite svoje najljubše mehanizme za preverjanje.

Questa Verification IQ je ogrodje, ki temelji na brskalniku in vključuje vodnik po procesu, tako da lahko zgradite varnostno kritičen tok z uporabo upravljanja življenjskega cikla za načrtovanje in sledenje vsem zahtevam. Regresijski navigator omogoča vaši ekipi ustvarjanje in izvajanje testov, spremljanje rezultatov in popolno zgodovino preverjanja. Z analizatorjem pokritosti veste, kako popolna je vaša pokritost za kodo, funkcionalne bloke in testne načrte. Končno vam predstavljena podatkovna analitika nudi metrično platformo z uporabo projektnih nadzornih plošč in zagotavlja navzkrižno analitiko.

Spletno ogrodje je primerno za kakršno koli velikost elektronskega projekta in ne bo vam treba namestiti nobene programske opreme ali skrbeti za posodobitev operacijskega sistema. Podpira tudi javne, zasebne ali hibridne nastavitve v oblaku. Z uporabo AI/ML se postopek zaključka preverjanja pospeši, medtem ko se prizadevanja za odpravljanje napak pospešijo, saj analiza temeljnega vzroka pomaga natančno določiti, kje je treba izboljšati.

Darronu Mayu sem zastavil nekaj pojasnilnih vprašanj.

V: Ali lahko kombiniram Questa Verification IQ s katerim koli orodjem proizvajalca EDA in ALM?

A: Questa Verification IQ podpira orodja in mehanizme ALM prek pristopa, ki temelji na standardih. Povezuje se z orodji ALM z uporabo Open Services for Lifecycle Collaboration (OSLC), tako da je mogoče uporabiti katero koli orodje, ki podpira standard, kot sta Doors next ali Siemens Polarion in Teamcenter. Questa Verification IQ lahko zažene kateri koli motor in ponovno imamo podporo za pokritost prek enotnega standarda interoperabilnosti pokritosti (UCIS).

V: Kakšen je ta pristop v primerjavi s Synopsys DesignDash?

A: Synopsys DesignDash je osredotočen na ML za načrtovalne podatke, medtem ko je Questa Verification IQ osredotočen na podatkovno vodeno preverjanje z uporabo analitike, vključno z ML, za pospešitev zaključka preverjanja, skrajšanje časa obračanja in zagotavljanje največje učinkovitosti procesa. Questa Verification IQ ponuja aplikacije, ki so potrebne za timsko sodelovalno upravljanje preverjanja v ogrodju, ki temelji na brskalniku, s centraliziranim dostopom do podatkov.

V: Kakšen je ta pristop v primerjavi s Cadence Verisium?

A: Cadence Verisium se osredotoča samo na preverjanje s pomočjo ML. Za primerjavo Siemens Questa Verification IQ ponuja celovito rešitev za preverjanje, ki temelji na podatkih, ki jo poganjajo analitika, sodelovanje in sledljivost. Upravljanje preverjanja je na voljo v orodju, ki temelji na brskalniku, z aplikacijami, zgrajenimi okoli Collaboration. Coverage Analyzer prinaša prvo sodelovalno orodje za zapiranje pokritosti v industriji z uporabo analitične navigacije, ki ji pomaga ML. Question Verification IQ je povezan s Siemens Polarion z uporabo OSLC in zagotavlja tesno digitalno sledljivost niti z upravljanjem življenjskega cikla aplikacij brez spreminjanja konteksta uporabniškega vmesnika, kar prinaša moč ALM v preverjanje strojne opreme.

Povzetek

Vedno sem navdušen nad novimi orodji EDA, ki olajšajo kompleksno nalogo s pametnejšim delom in ne zahtevajo, da inženirji vložijo več ur ročnega truda. Z zgodnjimi odobritvami Questa Verification IQ s strani znanih podjetij, kot sta Arm in Nordic Semiconductor, je videti, da je Siemens EDA dodal nekaj prepričljivega, kar bi morale ekipe za preverjanje razmisliti.

Sorodni dnevniki

Delite to objavo prek:

• Distribucija vsebine in PR s pomočjo SEO. Okrepite se še danes.
• Platoblockchain. Web3 Metaverse Intelligence. Razširjeno znanje. Dostopite tukaj.
• vir: https://semiwiki.com/eda/324031-achieving-faster-design-verification-closure/