Opnå hurtigere lukning af designverifikation

På store chipdesignprojekter kan den logiske verifikationsindsats være større end designindsatsen, hvilket tager op til 70 % af projekttiden baseret på data fra 2022 Wilson Research Group fund. Desværre er den første siliciumsuccesrate faldet fra 31 procent til kun 24 procent i de sidste 8 år, hvilket har forårsaget endnu et spin for at rette fejlene, hvilket koster virksomhederne tabt tid til markedet og helt sikkert skader deres indtægtsplaner. Bedre verifikation ville helt sikkert forbedre første siliciumsucces, men det er lettere sagt end gjort.

Nogle andre nøgterne tal fra Wilson Research Group-undersøgelsen:

• ASIC – 24 % succes første gang, 36 % afslutter til tiden
• FPGA – 16 % opnår nul fejludslip, 30 % afslutter til tiden

Designverifikation har mange vanskelige gøremål: fejlfinding, oprettelse af test og derefter kørende motorer, udvikling af testbench og testplanlægning. Ideelt set ønsker dit team at minimere gennemløbstider, nå verifikationslukning med de færreste mennesker og computerressourcer, opfylde sikkerhedsoverholdelse og vide, hvornår designkvaliteten er høj nok til at stoppe verificeringen, mens projektplanen overholdes.

Jeg fik for nylig en opdatering fra designverifikationsekspert Darron May hos Siemens EDA for at høre om noget, der netop er annonceret, kaldet Questa Verification IQ. Deres tilgang handler om datadrevet verifikation dannet omkring brug af sporbarhed, samarbejde og analyser drevet af AI/ML. Traditionel analyse gav begrænset produktivitet og indsigt i blot at beskrive og diagnosticere logisk adfærd, mens big data-drevne analyser ved hjælp af AI/ML tilbyder forudsigende og præskriptive handlinger til verifikation. Software- og hardwareteams bliver mere produktive ved at samarbejde gennem brug af CI (Kontinuerlig integration), Agile metoder, ALM (Application Lifecycle Management), cloud-baseret design og anvendelse af AI/ML-teknikker. Sikkerhedskritiske industrier har et behov for sporbarhed mellem krav, implementering og verifikation, som defineret i industristandarder som ISO 26262 og DO-254.

Her er det store billede af, hvordan Quest Verification IQ forbinder alle data fra forskellige verifikationsmotorer til et datadrevet flow sammen med et ALM-værktøj.

Dækningsdataene er indsamlet fra logisk simulering (Dette), emulering og prototyping (Veloce), AMS (Symphony), Formel (OneSpin), Static og FuSa. ML-funktionen analyserer alle disse data for at forudsige mønstre og afsløre eventuelle huller, påpege grundlæggende årsager og derefter foreskrive handling for at forbedre dækningen. Den viste ALM er Polarion fra Siemens, selvom du kunne bruge en anden ALM, ligesom du kan bruge dine foretrukne verifikationsmotorer.

Questa Verification IQ er en browserbaseret ramme, der inkluderer en procesvejledning, så du kan opbygge et sikkerhedskritisk flow ved hjælp af livscyklusstyring til at planlægge og spore alle krav. Regressionsnavigatoren gør det muligt for dit team at oprette og udføre test, overvåge resultaterne og have en komplet verifikationshistorik. Med dækningsanalysatoren ved du, hvor komplet din dækning er for kode, funktionsblokke og testplaner. Endelig giver de præsenterede dataanalyser dig en metrisk platform, der bruger projektdashboards og giver krydsanalyse.

Den webbaserede ramme skalerer til enhver størrelse af elektronikprojekter, og du behøver ikke at installere nogen software eller være bekymret for at holde dit OS opdateret. Det understøtter også offentlige, private eller hybride cloud-opsætninger. Når AI/ML anvendes, fremskyndes verifikationslukningsprocessen, mens fejlretningsindsatsen fremskyndes, da rodårsagsanalyse hjælper med at finde ud af, hvor der skal forbedres.

Jeg stillede Darron May et par opklarende spørgsmål.

Q: Kan jeg blande og matche Questa Verification IQ med ethvert EDA-leverandørværktøj og ALM?

A: Questa Verification IQ understøtter ALM-værktøjer og -motorer via en standardbaseret tilgang. Det har grænseflader med ALM-værktøjer ved hjælp af Open Services for Lifecycle Collaboration (OSLC), så ethvert værktøj, der understøtter standarden, såsom Doors next eller Siemens Polarion og Teamcenter, kan bruges. Enhver motor kan lanceres af Questa Verification IQ, og igen har vi understøttelse af dækning via Unified Coverage Interoperability Standard (UCIS).

Q: Hvordan er denne tilgang sammenlignet med Synopsys DesignDash?

A: Synopsys DesignDash er fokuseret på ML til designdata, hvorimod Questa Verification IQ er fokuseret på datadrevet verifikation ved hjælp af analyser, herunder ML, for at accelerere verifikationslukningen, reducere gennemløbstider og give maksimal proceseffektivitet. Questa Verification IQ leverer applikationer, der er nødvendige for teambaseret kollaborativ verifikationsstyring i en browserbaseret ramme med centraliseret adgang til data.

Q: Hvordan er denne tilgang sammenlignet med Cadence Verisium?

A: Cadence Verisium fokuserer kun på ML-assisteret verifikation. Til sammenligning leverer Siemens Questa Verification IQ komplet datadrevet verifikationsløsning drevet af Analytics, Collaboration og Traceability. Verifikationsstyring leveres i et browserbaseret værktøj med applikationer bygget op omkring Collaboration. Coverage Analyzer bringer branchens første kollaborative dækningslukningsværktøj ved hjælp af analytisk navigation assisteret af ML. Spørgsmålsverifikation IQ har grænseflader med Siemens Polarion ved hjælp af OSLC og giver en stram digital trådsporbarhed med Application Lifecycle Management uden nogen UI-kontekstændring, hvilket bringer kraften fra ALM til hardwareverifikation.

Resumé

Jeg er altid imponeret over nye EDA-værktøjer, der gør en kompleks opgave lettere ved at arbejde smartere, uden at kræve, at ingeniører lægger flere timers manuel indsats. Med tidlige godkendelser af Questa Verification IQ fra velkendte virksomheder som Arm og Nordic Semiconductor ser det ud til, at Siemens EDA har tilføjet noget overbevisende for verifikationsteams at overveje at se på.

Relaterede blogs

Del dette opslag via:

• SEO Powered Content & PR Distribution. Bliv forstærket i dag.
• Platoblokkæde. Web3 Metaverse Intelligence. Viden forstærket. Adgang her.
• Kilde: https://semiwiki.com/eda/324031-achieving-faster-design-verification-closure/