Skip to main content
Această pagină este afișată prin traducere automată. Vizualizați în schimb în limba engleză?

Prezentare generală

Această verificare CDC

Acest CDC identifică erorile utilizând analiza structurală pentru a recunoaște domeniile ceasului, sincronizatoarele și structurile cu putere redusă prin intermediul Formatului Unified Power (UPF). Generează afirmații pentru verificarea protocolului împreună cu modele de metastabilitate pentru verificarea reconvergenței.


Luați legătura cu echipa noastră de vânzări: 1-800-547-3000

Această verificare CDC
Caracteristici cheie

Această analiză CDC de înaltă performanță

Folosind doar RTL (și fișierul de intenție de putere UPF), soluțiile Questa CDC generează și analizează automat afirmații pentru a identifica rapid problemele de trecere a domeniului ceasului (CDC) care distruge cipurile.

Verificare bazată pe statică

Evenimente viitoare și la cerere

Vizualizați toate înregistrările video CDC, Lint și RDC disponibile la Academia de verificare.

Această verificare CDC

Articole albe recomandate

Sunteți gata să discutați cu cineva astăzi?

Suntem gata să vă răspundem la întrebări.

Luați legătura cu echipa noastră de vânzări 1-800-547-3000

Află mai multe

Academia de verificare

Academia de verificare oferă abilitățile necesare pentru a maturiza capacitățile procesului de verificare funcțională ale unei organizații, oferind o punte metodologică între propunerile de valoare la nivel înalt și detaliile de nivel scăzut.

Blogul Horizons de verificare

Informații și actualizări cu privire la concepte, valori, standarde, metodologii și exemple pentru a ajuta la înțelegerea a ceea ce pot face tehnologiile avansate de verificare funcțională și cum să le aplice cel mai eficient.

Orizonturi de verificare

Publicația Verification Horizons oferă concepte, valori, metodologii și exemple pentru a ajuta la înțelegerea a ceea ce pot face tehnologiile avansate de verificare funcțională și cum să le aplice cel mai eficient.