Cadence Design Systems, Inc. ha annunciato la Cadence® Verisium™ Artificial Intelligence (AI)-Driven Verification Platform, una suite di applicazioni che sfrutta i big data e l'AI per ottimizzare i carichi di lavoro di verifica, aumentare la copertura e accelerare l'analisi delle cause dei bug. La piattaforma Verisium è costruita sulla nuova Cadence Joint Enterprise Data and AI (JedAI) Platform ed è integrata in modo nativo con i motori di verifica Cadence. Poiché la complessità dei SoC continua ad aumentare, la verifica è diventata un percorso critico per il time to market del sistema, spesso consumando una quantità di calcolo e di risorse umane significativamente maggiore rispetto a qualsiasi altra attività di ingegneria del silicio.

Il rilascio della piattaforma Verisium rappresenta un passaggio generazionale dagli algoritmi single-run e single-engine nell'automazione della progettazione elettronica (EDA) agli algoritmi che sfruttano i big data e l'AI per ottimizzare più run di più motori in un'intera campagna di progettazione e verifica SoC. Con l'implementazione della piattaforma Verisium, tutti i dati di verifica, comprese le forme d'onda, la copertura, i report e i file di log, vengono riuniti nella Cadence JedAI Platform. I modelli di apprendimento automatico (ML) vengono costruiti e altre metriche proprietarie vengono estratte da questi dati per abilitare una nuova classe di strumenti che migliorano drasticamente la produttività della verifica.

Utilizzando la Cadence JedAI Platform, Cadence è in grado di unificare le sue innovazioni software computazionali nei dati e nell'AI, dalla verifica guidata dall'AI di Verisium all'implementazione guidata dall'AI di Cadence Cerebrus™ Intelligent Chip Explorer e all'analisi di sistema guidata dall'AI di Optimality™ Intelligent System Explorer. La suite iniziale di applicazioni disponibili nella piattaforma Verisium è la seguente: Verisium AutoTriage: Costruisce modelli ML che aiutano ad automatizzare il compito ripetitivo del triage dei guasti di regressione, prevedendo e classificando i guasti dei test con cause profonde comuni. Verisium SemanticDiff: Fornisce una soluzione algoritmica per confrontare più revisioni del codice sorgente di un IP o di un SoC, classificare queste revisioni e classificare quali aggiornamenti sono più dannosi per il comportamento del sistema, per aiutare a individuare potenziali hotspot di bug.

Verisium WaveMiner: Applica potenti motori di intelligenza artificiale per analizzare le forme d'onda di più esecuzioni e determinare quali segnali, in quali momenti, è più probabile che rappresentino la causa principale di un fallimento del test. Verisium PinDown: si integra con la Cadence JedAI Platform e con i sistemi di controllo delle revisioni standard del settore per costruire modelli ML di modifiche del codice sorgente, rapporti di test e file di log, per prevedere quali check-in del codice sorgente hanno maggiori probabilità di introdurre guasti. Verisium Debug: Offre una soluzione di debug olistica da IP a SoC e da single-run a multi-run, offrendo flussi di debug interattivi e post-processuali rapidi e completi con forme d'onda, schemi, tracciamento dei driver e tecnologie SmartLog.

Verisium Debug è integrato in modo nativo con la Cadence JedAI Platform e con altre applicazioni Verisium per consentire l'analisi delle cause profonde guidata dall'AI, con il supporto del confronto automatico simultaneo dei test che passano e di quelli che non passano. Verisium Manager: Porta la soluzione di gestione della verifica a livello di SoC e di IP full flow di Cadence con pianificazione della verifica, programmazione dei lavori e copertura multi-engine in modo nativo sulla Cadence JedAI Platform e la estende per supportare l'ottimizzazione della suite di test guidata dall'AI per migliorare l'efficienza della compute farm. Verisium Manager si integra anche direttamente con altre app di Verisium, consentendo la distribuzione interattiva con un pulsante dell'intera piattaforma Verisium da una console di gestione unificata basata su browser.

La Verisium AI-Driven Verification Platform fa parte del flusso completo di verifica di Cadence, che comprende l'emulazione Palladium® Z2, la prototipazione Protium™ X2, la simulazione Xcelium™, la piattaforma di verifica formale Jasper™ e lo studio virtuale e ibrido Helium™. Il full flow di verifica di Cadence offre il più alto throughput di verifica di bug trovati e causati per dollaro investito per giorno di esecuzione del progetto. La piattaforma Verisium e il flusso completo di verifica supportano la strategia Intelligent System Design™ dell'azienda, consentendo l'eccellenza della progettazione SoC.