Questa Inspect

In questo webinar, scoprirà perché la verifica formale è la componente chiave per avere successo nell'era del Next Normal, dove il successo al primo passaggio è fondamentale e garantire la qualità in tutto il suo ciclo di verifica è essenziale.

In questo webinar, discuteremo delle seguenti tecniche: astrazione di base, impostazione e ottimizzazione dei vincoli, indipendenza dei dati e non determinismo. Questi metodi sono facili da applicare e aumentano le prestazioni di analisi formale.

In questo webinar, mostreremo come, con un po' di conoscenza progettuale e lungimiranza da parte sua, possa sfruttare questi due principi (DI e ND) per ridurre la sua analisi formale a pochi minuti anziché ore.

In questo webinar, Le mostreremo come utilizzare il codice di controllo delle proprietà standard IEEE (SVA) e strumenti formali standard per verificare in modo rapido ed esaustivo che il trasporto dei dati attraverso il DUT corrisponda alle specifiche.

In questo webinar, imparerà i tipi di costrutti DUT che comunemente causano problemi di analisi formale e come applicare tecniche collaudate per astrarli in sicurezza in modo che la verifica formale possa raggiungere rapidamente la conclusione.

In questo webinar, Le mostreremo come scrivere vincoli ottimali per l'analisi formale; e come sottovincolare deliberatamente l'analisi per saperne di più sull'efficacia dei vincoli.

In questo webinar, impara come la verifica dell'implementazione FPGA può accelerare il flusso di progettazione, ridurre i test in laboratorio, consentire un uso aggressivo dell'ottimizzazione e ridurre drasticamente i rischi di post-produzione.

Proteggere il suo hardware è importante tanto quanto proteggere il suo software dagli attacchi informatici. Questa sessione dimostrerà la verifica precoce della sicurezza su un piccolo modulo di proprietà intellettuale (IP) destinato all'integrazione IC.

In questo webinar, acquisirà una comprensione delle applicazioni formali automatiche che possono essere utilizzate per risolvere le attuali sfide di progettazione e verifica che si riscontrano comunemente nello sviluppo di progetti ASIC e FPGA.

In questo webinar, mostreremo come utilizzare un flusso automatizzato e formale che garantisca una copertura completa dello spazio statale dei suoi registri, verificheremo in modo esaustivo i comportamenti e qualsiasi comportamento illegale senza dover imparare affatto il formale.

In questo webinar, tratteremo in dettaglio la metodologia formale concentrandoci sull'ABC del formale: (A) astrazione, (B) ricerca di bug e bozze di costruzione e (C) copertura nel contesto del controllo delle proprietà.

In questo webinar, vedrà le app formali di facile utilizzo passare alle prime fasi del controllo formale delle proprietà; dall'idea pratica di una verifica formale esaustiva a livello di modulo fino alla promessa di uno sviluppo basato sulla proprietà.

In questo webinar, condivideremo una metodologia statica e formale completa che utilizza l'applicazione automatizzata Questa X-Check che consente ai team di progettazione di individuare la causa principale dei problemi «X» nelle prime fasi del processo di progettazione RTL.

In questo webinar, imparerà come sfruttare l'analisi formale per trovare e correggere il maggior numero possibile di bug funzionali, migliorando in ultima analisi la qualità del suo prodotto finale e riducendo il rischio di ripetizioni.

In questo webinar, scoprirà perché l'applicazione delle formalità nelle prime fasi dello sviluppo riduce il ciclo di verifica complessivo trovando e correggendo la maggior parte dei bug durante lo sviluppo invece che nelle fasi finali del gioco di verifica.