Bij grote chipontwerpprojecten kan de logische verificatie-inspanning groter zijn dan de ontwerpinspanning, waarbij tot 70% van de projecttijd in beslag wordt genomen op basis van gegevens van de 2022 Wilson-onderzoeksgroep bevindingen. Helaas is het slagingspercentage van het eerste silicium in de afgelopen 31 jaar gedaald van 24 procent naar slechts 8 procent, wat een nieuwe spin veroorzaakte om de gebreken te corrigeren, wat bedrijven tijdverlies op de markt kostte en zeker hun inkomstenplannen schaadde. Betere verificatie zou het eerste siliciumsucces zeker verbeteren, maar dat is makkelijker gezegd dan gedaan.

Enkele andere ontnuchterende cijfers uit de studie van de Wilson Research Group:

• ASIC - 24% eerste keer succes, 36% op tijd klaar
• FPGA – 16% slaagt erin geen bugs te ontsnappen, 30% voltooit het op tijd

Ontwerpverificatie heeft veel moeilijke taken: debuggen, tests maken en vervolgens motoren laten draaien, testbankontwikkeling en testplanning. In het ideale geval wil uw team de doorlooptijden minimaliseren, verificatieafsluiting bereiken met zo min mogelijk mensen en computerresources, voldoen aan de veiligheidsvoorschriften en weten wanneer de ontwerpkwaliteit hoog genoeg is om te stoppen met verifiëren, terwijl het projectschema wordt gehaald.

Ik kreeg onlangs een update van ontwerpverificatie-expert Darron May van Siemens EDA om iets te horen dat zojuist was aangekondigd, genaamd Questa Verificatie IQ. Hun aanpak draait helemaal om datagestuurde verificatie, gevormd rond het gebruik van traceerbaarheid, samenwerking en analyse mogelijk gemaakt door AI/ML. Traditionele analyses boden beperkte productiviteit en inzicht in het beschrijven en diagnosticeren van logisch gedrag, terwijl big data-gestuurde analyses met behulp van AI/ML voorspellende en prescriptieve acties voor verificatie bieden. Software- en hardwareteams worden productiever door samen te werken door het gebruik van CI (Continue integratie), Behendig methoden, ALM (Application Lifecycle Management), cloud-based design en toepassen van AI/ML technieken. Veiligheidskritische industrieën hebben behoefte aan traceerbaarheid tussen vereisten, implementatie en verificatie, zoals gedefinieerd in industriestandaarden zoals ISO 26262 en DO-254.

Hier is het grote plaatje van hoe Quest Verification IQ alle gegevens van verschillende verificatie-engines met elkaar verbindt tot een gegevensgestuurde stroom, samen met een ALM-tool.

De dekkingsgegevens worden verzameld uit logische simulatie (Deze), Emulatie en Prototyping (Veloce), AMS (Symfonie), Formeel (EenSpin), Statisch en FuSa. De ML-functie analyseert al deze gegevens om patronen te voorspellen en eventuele gaten aan het licht te brengen, grondoorzaken aan te wijzen en vervolgens actie voor te schrijven om de dekking te verbeteren. De getoonde ALM is Polarion van Siemens, hoewel u een andere ALM zou kunnen gebruiken, net zoals u uw favoriete verificatie-engines kunt gebruiken.

Questa Verification IQ is een browsergebaseerd raamwerk dat een procesgids bevat, zodat u een veiligheidskritische stroom kunt bouwen met behulp van levenscyclusbeheer om alle vereisten te plannen en te volgen. Met de regressienavigator kan uw team tests maken en uitvoeren, de resultaten bewaken en een volledige verificatiegeschiedenis hebben. Met de dekkingsanalysator weet u hoe compleet uw dekking is voor code, functionele blokken en testplannen. Ten slotte bieden de gepresenteerde gegevensanalyses u een metrisch platform, met behulp van projectdashboards en kruisanalyses.

Het webgebaseerde raamwerk is geschikt voor elektronicaprojecten van elke omvang en u hoeft geen software te installeren of u zorgen te maken over het up-to-date houden van uw besturingssysteem. Het ondersteunt ook publieke, private of hybride cloudconfiguraties. Met de toepassing van AI/ML wordt het verificatieafsluitingsproces versneld, terwijl de foutopsporingsinspanningen worden versneld omdat analyse van de hoofdoorzaak helpt bepalen waar verbetering mogelijk is.

Ik stelde Darron May een paar verhelderende vragen.

V: Kan ik Questa Verification IQ mixen en matchen met elke tool van een EDA-leverancier en ALM?

A: Questa Verification IQ ondersteunt ALM-tools en -engines via een op standaarden gebaseerde benadering. Het communiceert met ALM-tools die Open Services for Lifecycle Collaboration (OSLC) gebruiken, zodat elke tool die de standaard ondersteunt, zoals Doors next of Siemens Polarion en Teamcenter, kan worden gebruikt. Elke engine kan worden gestart door Questa Verification IQ en opnieuw hebben we ondersteuning voor dekking via de Unified Coverage Interoperability Standard (UCIS).

V: Hoe verhoudt deze aanpak zich tot Synopsys DesignDash?

A: Synopsys DesignDash is gericht op ML voor ontwerpgegevens, terwijl Questa Verification IQ gericht is op gegevensgestuurde verificatie met behulp van analyses, waaronder ML, om verificatieafsluiting te versnellen, doorlooptijden te verkorten en maximale procesefficiëntie te bieden. Questa Verification IQ biedt applicaties die nodig zijn voor teamgebaseerd collaboratief verificatiebeheer in een browsergebaseerd raamwerk met gecentraliseerde toegang tot gegevens.

V: Hoe verhoudt deze aanpak zich tot Cadence Verisium?

A: Cadence Verisium richt zich alleen op ML-ondersteunde verificatie. Ter vergelijking: Siemens Questa Verification IQ biedt een complete datagestuurde verificatieoplossing op basis van analyse, samenwerking en traceerbaarheid. Verificatiebeheer wordt geleverd in een browsergebaseerde tool met applicaties die zijn gebouwd rond Collaboration. Coverage Analyzer is de eerste tool voor het sluiten van gezamenlijke dekkingen in de branche met behulp van analytische navigatie ondersteund door ML. Question Verification IQ communiceert met Siemens Polarion met behulp van OSLC en biedt een strakke digitale traceerbaarheid van threads met Application Lifecycle Management zonder UI-contextverandering, waardoor de kracht van ALM naar hardwareverificatie wordt gebracht.

Samengevat

Ik ben altijd onder de indruk van nieuwe EDA-tools die een complexe taak eenvoudiger maken door slimmer te werken, zonder dat ingenieurs meer uren handmatig werk hoeven te doen. Met vroege goedkeuringen van Questa Verification IQ door bekende bedrijven als Arm en Nordic Semiconductor, lijkt het erop dat Siemens EDA iets aantrekkelijks heeft toegevoegd voor verificatieteams om naar te kijken.

Gerelateerde blogs

Deel dit bericht via:

• Door SEO aangedreven content en PR-distributie. Word vandaag nog versterkt.
• Platoblockchain. Web3 Metaverse Intelligentie. Kennis versterkt. Toegang hier.
• Bron: https://semiwiki.com/eda/324031-achieving-faster-design-verification-closure/