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 gli spin di layout. Usa un unico strumento e un flusso per tutti i tuoi progetti.
Verifica rapida di progetti di cancelli multimilionari e drastica riduzione dei tempi di verifica mediante tecniche di verifica formale statica. Il percorso più rapido 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 all'interno della sessione di verifica esistente.
Partecipa alla discussione su nuovi argomenti, funzionalità, contenuti ed esperti tecnici.
Accedi a note dettagliate sulle applicazioni per gli utenti, risorse di formazione e altro ancora.
Ti aiutiamo 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.
