Raggiungere una chiusura più rapida della verifica del progetto

Nei progetti di progettazione di chip di grandi dimensioni, lo sforzo di verifica della logica può essere maggiore dello sforzo di progettazione, impiegando fino al 70% del tempo del progetto in base ai dati del 2022 Gruppo di ricerca Wilson riscontri. Purtroppo, il primo tasso di successo del silicio è sceso dal 31% a solo il 24% negli ultimi 8 anni, causando un altro giro per correggere i difetti, costando alle aziende la perdita di tempo per il mercato e sicuramente danneggiando i loro piani di guadagno. Una migliore verifica migliorerebbe sicuramente il primo successo del silicio, ma è più facile a dirsi che a farsi.

Alcuni altri numeri che fanno riflettere dallo studio del Wilson Research Group:

• ASIC – 24% successo al primo tentativo, 36% arrivo puntuale
• FPGA: il 16% raggiunge zero fughe di bug, il 30% termina in tempo

La verifica del progetto ha molte faccende difficili: debug, creazione di test, quindi esecuzione di motori, sviluppo del banco di prova e pianificazione dei test. Idealmente, il tuo team desidera ridurre al minimo i tempi di consegna, raggiungere la chiusura della verifica con il minor numero di persone e risorse di calcolo, soddisfare la conformità alla sicurezza e sapere quando la qualità del progetto è sufficientemente elevata da interrompere la verifica, rispettando la pianificazione del progetto.

Di recente ho ricevuto un aggiornamento dall'esperto di verifica del progetto Darron May presso Siemens EDA per conoscere qualcosa appena annunciato, chiamato Questa verifica IQ. Il loro approccio è incentrato sulla verifica basata sui dati basata sull'utilizzo di tracciabilità, collaborazione e analisi basate su AI/ML. L'analisi tradizionale ha fornito produttività e informazioni limitate solo per descrivere e diagnosticare il comportamento logico, mentre l'analisi basata sui big data che utilizza AI/ML offre azioni predittive e prescrittive per la verifica. I team software e hardware stanno diventando più produttivi collaborando attraverso l'uso di CI (Integrazione continua), Agile metodi, ALM (Application Lifecycle Management), progettazione basata su cloud e applicazione di tecniche AI/ML. Le industrie critiche per la sicurezza hanno bisogno di tracciabilità tra requisiti, implementazione e verifica, come definito in standard di settore come ISO 26262 e DO-254.

Ecco il quadro generale di come Quest Verification IQ collega insieme tutti i dati provenienti da vari motori di verifica in un flusso basato sui dati, insieme a uno strumento ALM.

I dati di copertura vengono raccolti dalla simulazione logica (this), emulazione e prototipazione (Veloce), AM (Sinfonia), Formale (OneSpin), Statico e FuSa. La funzione ML analizza tutti questi dati al fine di prevedere modelli e rivelare eventuali buchi, evidenziare le cause alla radice, quindi prescrivere azioni per migliorare la copertura. L'ALM mostrato è Polarione di Siemens, anche se potresti usare un altro ALM, proprio come puoi usare i tuoi motori di verifica preferiti.

Questa Verification IQ è un framework basato su browser che include una guida al processo in modo da poter creare un flusso critico per la sicurezza utilizzando la gestione del ciclo di vita per pianificare e tenere traccia di tutti i requisiti. Il navigatore di regressione consente al tuo team di creare ed eseguire test, monitorare i risultati e disporre di una cronologia completa delle verifiche. Con l'analizzatore di copertura sai quanto è completa la tua copertura per codice, blocchi funzionali e piani di test. Infine, l'analisi dei dati presentata fornisce una piattaforma metrica, utilizzando dashboard di progetto e fornendo analisi incrociate.

Il framework basato sul Web si adatta a qualsiasi dimensione di progetto elettronico e non dovrai installare alcun software o preoccuparti di mantenere aggiornato il tuo sistema operativo. Supporta anche configurazioni cloud pubbliche, private o ibride. Con l'applicazione di AI/ML, il processo di chiusura della verifica viene accelerato, mentre lo sforzo di debug si velocizza mentre l'analisi della causa principale aiuta a individuare dove migliorare.

Ho posto a Darron May alcune domande chiarificatrici.

D: Posso combinare Questa Verification IQ con qualsiasi strumento del fornitore EDA e ALM?

A: Questa Verification IQ supporta strumenti e motori ALM tramite un approccio basato su standard. Si interfaccia con gli strumenti ALM utilizzando Open Services for Lifecycle Collaboration (OSLC) in modo da poter utilizzare qualsiasi strumento che supporti lo standard come Doors next o Siemens Polarion e Teamcenter. Qualsiasi motore può essere lanciato da Questa Verification IQ e anche in questo caso abbiamo il supporto per la copertura tramite Unified Coverage Interoperability Standard (UCIS).

D: Come si confronta questo approccio con Synopsys DesignDash?

A: Synopsys DesignDash si concentra sul ML per i dati di progettazione, mentre Questa Verification IQ si concentra sulla verifica basata sui dati utilizzando l'analisi, incluso il ML, per accelerare la chiusura della verifica, ridurre i tempi di consegna e fornire la massima efficienza del processo. Questa Verification IQ fornisce le applicazioni necessarie per la gestione della verifica collaborativa basata su team in un framework basato su browser con accesso centralizzato ai dati.

D: Come si confronta questo approccio con Cadence Verisium?

A: Cadence Verisium si concentra solo sulla verifica assistita da ML. In confronto, Siemens Questa Verification IQ fornisce una soluzione completa di verifica basata sui dati alimentata da analisi, collaborazione e tracciabilità. La gestione della verifica viene fornita in uno strumento basato su browser con applicazioni basate su Collaboration. Coverage Analyzer offre il primo strumento collaborativo di chiusura della copertura del settore utilizzando la navigazione analitica assistita da ML. Question Verification IQ si interfaccia con Siemens Polarion utilizzando OSLC e fornisce una stretta tracciabilità del thread digitale con Application Lifecycle Management senza modifiche al contesto dell'interfaccia utente, portando la potenza di ALM alla verifica hardware.

Sommario

Sono sempre impressionato dai nuovi strumenti EDA che semplificano un'attività complessa lavorando in modo più intelligente, senza richiedere agli ingegneri di dedicare più ore di lavoro manuale. Con le prime approvazioni di Questa Verification IQ da parte di aziende familiari come Arm e Nordic Semiconductor, sembra che Siemens EDA abbia aggiunto qualcosa di interessante per i team di verifica da prendere in considerazione.

Blog correlati

Condividi questo post tramite:

• Distribuzione di contenuti basati su SEO e PR. Ricevi amplificazione oggi.
• Platoblockchain. Web3 Metaverse Intelligence. Conoscenza amplificata. Accedi qui.
• Fonte: https://semiwiki.com/eda/324031-achieving-faster-design-verification-closure/