Skip to main content
Šī lapa tiek parādīta, izmantojot automātisko tulkošanu. Tā vietā skatīt angļu valodā?

Pārskats

Šī CDC verifikācija

Questa CDC identificē kļūdas, izmantojot strukturālo analīzi, lai atpazītu pulksteņa domēnus, sinhronizatorus un mazjaudas struktūras, izmantojot vienoto jaudas formātu (UPF). Tas ģenerē apgalvojumus protokola verifikācijai kopā ar metastabilitātes modeļiem atkārtotas konverģences pārbaudei.


Sazinieties ar mūsu pārdošanas komandu: 1-800-547-3000

Šī CDC verifikācija
Galvenās iezīmes

Šī CDC augstas veiktspējas analīze

Izmantojot tikai jūsu RTL (un UPF jaudas nodomu failu), Questa CDC risinājumi automātiski ģenerē un analizē apgalvojumus, lai ātri identificētu mikroshēmu nogalināšanas pulksteņa domēna šķērsošanas (CDC) problēmas.

Statiskā pārbaude

Gaidāmie un pēc pieprasījuma pasākumi

Skatiet visus pieejamos CDC, Lint un RDC videoierakstus vietnē Verifikācijas akadēmija.

Šī CDC verifikācija

Piedāvātās baltās grāmatas

Vai esat gatavs šodien runāt ar kādu?

Mēs esam gatavi, lai atbildētu uz jūsu jautājumiem.

Sazinieties ar mūsu pārdošanas komandu 1-800-547-3000

Uzziniet vairāk

Verifikācijas akadēmija

Verifikācijas akadēmija nodrošina prasmes, kas nepieciešamas, lai nobriestu organizācijas funkcionālās verifikācijas procesa iespējas, nodrošinot metodisku tiltu starp augsta līmeņa vērtību piedāvājumiem un zema līmeņa detaļām.

Verification Horizons emuārs

Ieskats un atjauninājumi par jēdzieniem, vērtībām, standartiem, metodoloģijām un piemēriem, lai palīdzētu saprast, ko uzlabotas funkcionālās verifikācijas tehnoloģijas var darīt un kā tās visefektīvāk piemērot.

Verifikācijas horizonti

Publikācijā Verification Horizons ir sniegti jēdzieni, vērtības, metodikas un piemēri, lai palīdzētu izprast, ko uzlabotas funkcionālās verifikācijas tehnoloģijas var darīt un kā tās visefektīvāk pielietot.