FormalPro utilizza tecniche di verifica formale statica per dimostrare che un progetto è funzionalmente identico al suo riferimento aureo. Si tratta di ordini di grandezza più veloci rispetto alla tradizionale simulazione a livello di gate: i progetti che richiedono giorni o settimane possono essere verificati in ore o addirittura minuti utilizzando FormalPro.
Dimostra rapidamente che un design è funzionalmente identico: confronta le netlist RTL con gate per la sintesi, le netlist gate to gate per i giri di layout. Usa uno strumento e un flusso per tutti i suoi progetti.
Verifica rapida di progetti di cancelli multimilionari e drastica riduzione dei tempi di verifica utilizzando tecniche di verifica formale statica. Il percorso più veloce per correggere la progettazione con uno strumento di debug completo che identifica la posizione/causa degli errori e l'esclusiva capacità «what-if» di esaminare le modifiche alla progettazione nell'ambito della sessione di verifica esistente.
Partecipa alla discussione su nuovi argomenti, funzionalità, contenuti ed esperti tecnici.
Accedi a note dettagliate sull'applicazione per gli utenti, alle risorse di formazione e altro ancora.
Aiutarla a ottenere il massimo impatto aziendale affrontando complesse sfide tecnologiche e aziendali con una combinazione unica di esperienza di sviluppo e progettazione e competenza metodologica.
