EO_478

TECH INSIGHT NEWS TECHNOLOGIES 22 - ELETTRONICA OGGI 478 - MAGGIO 2019 Piattaforma di verifica formale di terza generazione Alessandro Nobile C adence Design Systems ha di recente introdotto la propria piattaforma di verifica formale di terza generazione. La nuova JasperGold rappresenta l’ultima fase del miglioramento continuo dell’algo- ritmo proof-solver e dell’orchestrazione. Quest’ultima piattaforma incorpora la Smart Proof Techno- logy migliorando la produttività di verifica per tutte le app JasperGold. L ’ apprendimento automatico viene utilizzato per sele- zionare e parame- trizzare i risolutori e per consentire pro- ve formali più veloci al primo tentativo. Inoltre, l’apprendi- mento automatico viene utilizzato per ottimizzare le ese- cuzioni successive per i test di regres- sione, sia locali che a livello cloud. Grazie alla tecnolo- gia Smart Proof, le prove formali accelerano fino a 4 volte mentre i cicli di regressione accelerano fino a 6 volte. Scalabilità di progettazione avanzata Considerando l’aumento di dimensioni e di complessità dei moderni progetti SoC, il processo di compila- zione definisce la dimensione massima del progetto e le risorse di calcolo necessarie per avviare l’analisi formale. Rispetto a un anno fa, la piattaforma JasperGold aggiornata offre oltre una capacità di compilazione di design due volte superiore con una riduzione media del 50% dell’utilizzo della memoria durante la compilazione. Inoltre, gli utenti possono scalare efficacemente la capacità di progettazione attraverso tecnologie di com- pilazione parallele avanzate che utilizzano in modo ottimale le risorse di calcolo disponibili ed eseguendo le prove formali nel Cloud. Miglioramenti del sign-off formale Le nuove tecnologie di copertura formale offerte dalla piattaforma consentono agli utenti di eseguire il si- gnoff dell’IP direttamente all’interno della piattaforma JasperGold. Queste nuove tecnologie di signoff formale includono una migliore accuratezza di proof-core, nuove tecni- che per ottenere una copertura significativa dalla ricerca di bug profondi e nuove viste per l’analisi della copertura formale. Insieme, queste caratteristiche offrono metriche di copertura formali di qualità “signoff” e consentono la chiusura di verifica multi-engine, a livello di chip. La piattaforma di verifica formale JasperGold, parte della Cadence Verification Suite, offre una copertura completa nell’ambito della piattaforma di sign-off metric-driven vManager, che combina i risultati formali di JasperGold con le metriche di simulazioni di Xcelium e l’emulazione di Palladium per accelerare la chiusu- ra complessiva della verifica. Il tutto supporta la strategia di System Design Enablement dell’azienda, che consente alle società di sistemi e semiconduttori di creare prodotti finali completi e differenziati in modo più efficiente. La Cadence Verification Suite comprende i migliori core engine JasperGold, Xcelium, Palladium e Protium, strutture tecnologiche e soluzioni di verifica che aumentano la qualità e la produttività del progetto indiriz- zando i requisiti di verifica per un’ampia varietà di applicazioni e segmenti verticali. La nuova piattaforma di Cadence offre una capacità di compilazione raddoppiata e una riduzione media del 50% della memoria utilizzata