Siemens Digital Industries Software ha presentato oggi il software Questa™ Verification IQ – una soluzione rivoluzionaria in grado di assistere i gruppi di lavoro impegnati nella verifica logica dei progetti, consentendo 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, 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, 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.
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 leader 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. 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.
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™ 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.
“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 degli IC, 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 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.
L’opinione dei leader del settore su Questa Verification IQ
“L’incalzante ritmo dell’innovazione fa sì che oggi per noi il time-to-market sia più importante che mai, per raggiungere l’obiettivo di soddisfare la crescente domanda di potenza di elaborazione”, sostiene Tran Nguyen, Senior Director della divisione Design Services di Arm. “La soluzione Questa Verification IQ di Siemens rende possibile una maggiore collaborazione tra i diversi team e tra le diverse sedi geografiche nel corso del processo di verifica, e consente una navigazione di tipo analitico che favorisce la produttività, riducendo significativamente i tempi necessari per raggiungere la closure”.
“Nordic Semiconductor è specializzata in quelle tecnologie di comunicazione wireless su cui si fonda l’IoT. La conoscenza dello stato della verifica di un progetto, in ogni istante del suo ciclo di sviluppo, è un fattore assolutamente critico per la pianificazione, per l’esecuzione, e per la qualità finale dei nostri prodotti”, afferma invece Christoffer Amlo, Responsabile del team di verifica di Nordic Semiconductor. “Siamo stati tra i primi ad adottare la soluzione Questa Verification IQ, che ci garantisce la disponibilità di un portale per monitorare i dati istantanei sull’andamento dei progetti. Le informazioni fornite ora in tempo reale ed automaticamente dallo strumento hanno sostituito un oneroso sforzo manuale di raccolta dei nostri dati di regressione. Per agevolare le indagini sulle attività di verifica ancora da completare, Questa Verification IQ fornisce inoltre un efficiente workflow di tipo collaborativo, per la closure di copertura”.
Siemens’ Questa Verification IQ è già disponibile. Per maggiori informazioni è possibile visitare il sto web, alla pagina https://eda.sw.siemens.com/en-US/ic/questa/simulation/verification-iq/.
