Si chiama Questa Verification IQ, la soluzione rivoluzionaria presentata da Siemens Digital Industries Software. I gruppi di lavoro impegnati nella verifica logistica dei progetti hanno adesso a disposizione uno strumento che consente loro di superare le sfide associate al deciso incremento della complessità dei progetti dei sofisticati circuiti integrati (IC) di nuova generazione. Questa Verification IQ è una soluzione orientata al lavoro collaborativo, mediante accesso in cloud, basata su un approccio di tipo data-driven e sull’uso di tecnologie di intelligenza artificiale (AI), caratteristiche che consentono di velocizzare i tempi della verifica dei circuiti integrati, di semplificare la tracciabilità dei progetti, di ottimizzare le risorse e di comprimere il time-to-market.
La verifica di tipo logico tradizionalmente assorbe oltre il 70% delle risorse utilizzate per il ciclo di sviluppo complessivo di un IC. Raggiungere la closure del progetto – con la ragionevole certezza che gli ingegneri abbiano svolto il giusto tipo di verifica dei circuiti integrati, ed in quantità sufficiente per garantire che il progetto funzionerà senza manifestare errori – costituisce una sfida sempre più ardua, man mano che ogni nuova generazione di progetti di IC introduce nuovi livelli di complessità. Secondo uno studio condotto nel 2022 da Wilson Research sui team di verifica di questo settore, la percentuale di successi al primo tentativo nella produzione del silicio è crollata dal 31% del 2014 ad un esile 24% nel 2022, dato che rappresenta il livello più basso registrato negli ultimi 20 anni.
Come funziona?
Concepita per consentire ai gruppi di sviluppo di ottenere la closure del progetto in tempi più rapidi, la soluzione Questa Verification IQ è strettamente integrata con il software di mercato Polarion REQUIREMENTS di Siemens, con l’intento di rendere disponibile una piattaforma capace di catturare automaticamente tutti i dati da ogni esecuzione di qualsiasi motore di elaborazione utilizzato durante l’intera vita del progetto. Aiutando in tal modo i clienti a gestire i requisiti e le attività di codifica, di testing e di rilascio nel corso del processo di progettazione e di verifica dei circuiti integrati. Tale potente combinazione di strumenti offre agli utenti un vero e proprio thread digitale ottimizzato per le esigenze di certificazione della conformità ai requisiti di sicurezza funzionale, che realizza una completa tracciabilità del processo, a partire dai requisiti fino ai risultati della verifica e all’implementazione.
Con il Machine Learning la verifica dei circuiti integrati si semplifica
Questa Verification IQ è in grado di unificare tutti i dati relativi alla copertura provenienti sia dai motori di analisi formale e di simulazione presenti nella piattaforma Questa di Siemens, che dal software OneSpin, dalla piattaforma Symphony dedicata alla simulazione analogica e mixed-signal, così come anche dall’hardware Veloce Veloce di Siemens, per l’emulazione ed il prototyping. Successivamente, le funzionalità di machine learning presenti all’interno di Questa Verification IQ analizzano i dati raccolti al fine di prevedere pattern e lacune, di identificare le cause prime dei problemi, e di prescrivere azioni correttive per le potenziali anomalie, aiutando quindi a migliorare l’efficienza complessiva del processo e fornendo ai team le informazioni necessarie per giungere al signoff finale con un sufficiente grado di confidenza.
Perché scegliere Questa Verification IQ
“Le più avanzate aziende di tutto il mondo, all’avanguardia nella progettazione e nella verifica dei chip, stanno espandendo l’utilizzo di tecniche basate sui big data per stimolare l’innovazione, per agevolare i processi operativi e per incrementare l’efficienza”, afferma Abhi Kolpekwar, Vice President e General Manager della divisione Design Verification Technology di Siemens EDA. “Con il lancio di Questa Verification IQ, Siemens trasforma profondamente la verifica dei circuiti integrati, grazie ad una soluzione di verifica all’avanguardia, basata su un approccio data-driven, in grado di velocizzare e di semplificare il processo di verifica facendo leva su funzionalità di analisi e di collaborazione e sulla tracciabilità – in particolar modo se accostata al software Polarion REQUIREMENTS di Siemens”.
Questa Verification IQ è implementata all’interno di un framework applicativo di tipo web-based, capace quindi di offrire una gestione scalabile della verifica con costi di installazione minimali, e di garantire al contempo la totale indipendenza sia dai dispositivi che dai sistemi operativi. Grazie al supporto per configurazioni cloud sia di tipo pubblico che privato oppure ibrido, alle funzioni native di collaborazione ed all’accesso centralizzato ai dati, Questa Verification IQ consente ai team ingegneristici di dimensioni globali di collaborare in tempo reale per velocizzare il processo di gestione della verifica dei circuiti integrati e per assicurare una visibilità immediata del progetto. Il software Questa Verification IQ è inoltre totalmente integrato con popolari strumenti di CI (Continuous Integration) – come, ad esempio, Jenkins – al fine di automatizzare i workflow.
