Uppnå snabbare stängning av designverifiering

På stora chipdesignprojekt kan logikverifieringsansträngningen vara större än designansträngningen, och tar upp till 70 % av projekttiden baserat på data från 2022 Wilson Research Group fynd. Tyvärr har den första framgångsfrekvensen för kisel gått ner från 31 procent till bara 24 procent under de senaste 8 åren, vilket har orsakat ytterligare en snurrning för att rätta till bristerna, kosta företag förlorade tid till marknaden och verkligen skada deras intäktsplaner. Bättre verifiering skulle säkert förbättra den första kiselframgången, men det är lättare sagt än gjort.

Några andra nyktra siffror från Wilson Research Group-studien:

• ASIC – 24 % framgång första gången, 36 % slutar i tid
• FPGA – 16 % uppnår noll felflykt, 30 % slutar i tid

Designverifiering har många svåra sysslor: felsökning, skapa tester och sedan köra motorer, testbänksutveckling och testplanering. Helst vill ditt team minimera handläggningstider, nå verifieringsstängning med så få personer som möjligt och beräkningsresurser, uppfylla säkerhetsefterlevnad och veta när designkvaliteten är tillräckligt hög för att sluta verifiera, samtidigt som projektschemat följs.

Jag fick nyligen en uppdatering från designverifieringsexperten Darron May på Siemens EDA för att höra om något som just meddelats, kallat Questa Verification IQ. Deras tillvägagångssätt handlar om datadriven verifiering som bygger på att använda spårbarhet, samarbete och analyser som drivs av AI/ML. Traditionell analys gav begränsad produktivitet och insikt i att bara beskriva och diagnostisera logiskt beteende, medan big data-driven analys med AI/ML erbjuder prediktiva och föreskrivande åtgärder för verifiering. Program- och hårdvaruteam blir mer produktiva genom att samarbeta genom att använda CI (Kontinuerlig integration), Agile metoder, ALM (Application Lifecycle Management), molnbaserad design och tillämpning av AI/ML-tekniker. Säkerhetskritiska industrier har ett behov av spårbarhet mellan krav, implementering och verifiering, enligt definition i industristandarder som ISO 26262 och DO-254.

Här är den stora bilden av hur Quest Verification IQ kopplar samman all data från olika verifieringsmotorer till ett datadrivet flöde, tillsammans med ett ALM-verktyg.

Täckningsdata samlas in från logisk simulering (Questa), emulering och prototyper (Veloce), AMS (Symphony), Formell (OneSpin), Static och FuSa. ML-funktionen analyserar all denna data för att förutsäga mönster och avslöja eventuella hål, peka ut grundorsaker och sedan föreskriva åtgärder för att förbättra täckningen. ALM som visas är Polarion från Siemens, även om du kan använda en annan ALM, precis som du kan använda dina favoritverifieringsmotorer.

Questa Verification IQ är ett webbläsarbaserat ramverk som inkluderar en processguide så att du kan bygga ett säkerhetskritiskt flöde med hjälp av livscykelhantering för att planera och spåra alla krav. Regressionsnavigatorn gör det möjligt för ditt team att skapa och utföra tester, övervaka resultaten och ha en fullständig verifieringshistorik. Med täckningsanalysatorn vet du hur komplett din täckning är för kod, funktionsblock och testplaner. Slutligen ger den presenterade dataanalysen dig en metrisk plattform som använder projektinstrumentpaneler och tillhandahåller korsanalys.

Det webbaserade ramverket kan anpassas för alla storlekar av elektronikprojekt, och du behöver inte installera någon programvara eller oroa dig för att hålla ditt operativsystem uppdaterat. Den stöder också offentliga, privata eller hybridmolninställningar. När AI/ML tillämpas påskyndas stängningsprocessen för verifiering, medan felsökningsarbetet går snabbare eftersom rotorsaksanalys hjälper till att hitta var man kan förbättra.

Jag ställde några klargörande frågor till Darron May.

F: Kan jag blanda och matcha Questa Verification IQ med något EDA-leverantörsverktyg och ALM?

A: Questa Verification IQ stöder ALM-verktyg och motorer via ett standardbaserat tillvägagångssätt. Den samverkar med ALM-verktyg med Open Services for Lifecycle Collaboration (OSLC) så alla verktyg som stöder standarden som Doors next eller Siemens Polarion och Teamcenter kan användas. Vilken motor som helst kan lanseras av Questa Verification IQ och återigen har vi stöd för täckning via Unified Coverage Interoperability Standard (UCIS).

F: Hur jämför detta tillvägagångssätt med Synopsys DesignDash?

A: Synopsys DesignDash är fokuserat på ML för designdata medan Questa Verification IQ är fokuserat på datadriven verifiering med hjälp av analyser, inklusive ML, för att påskynda verifieringsstängningen, minska omloppstider och ge maximal processeffektivitet. Questa Verification IQ tillhandahåller applikationer som behövs för teambaserad kollaborativ verifieringshantering i ett webbläsarbaserat ramverk med centraliserad åtkomst till data.

F: Hur jämför detta tillvägagångssätt med Cadence Verisium?

A: Cadence Verisium fokuserar endast på ML-assisterad verifiering. Som jämförelse tillhandahåller Siemens Questa Verification IQ en komplett datadriven verifieringslösning som drivs av Analytics, Collaboration och Traceability. Verifieringshantering tillhandahålls i ett webbläsarbaserat verktyg med applikationer byggda kring Collaboration. Coverage Analyzer ger branschens första kollaborativa täckningsstängningsverktyg som använder analytisk navigering med hjälp av ML. Question Verification IQ gränssnitt med Siemens Polarion med OSLC och ger en tät digital trådspårbarhet med Application Lifecycle Management utan någon UI-kontextändring, vilket ger kraften hos ALM till hårdvaruverifiering.

Sammanfattning

Jag är alltid imponerad av nya EDA-verktyg som gör en komplex uppgift enklare genom att arbeta smartare, utan att kräva att ingenjörer lägger ner fler timmars manuell ansträngning. Med tidiga godkännanden av Questa Verification IQ från välbekanta företag som Arm och Nordic Semiconductor, ser det ut som att Siemens EDA har lagt till något övertygande för verifieringsteam att överväga att titta på.

Relaterade bloggar

Dela det här inlägget via:

• SEO-drivet innehåll och PR-distribution. Bli förstärkt idag.
• Platoblockchain. Web3 Metaverse Intelligence. Kunskap förstärkt. Tillgång här.
• Källa: https://semiwiki.com/eda/324031-achieving-faster-design-verification-closure/