Skip to main content
This page is displayed using automated translation. View in English instead?

Pregled

Ova CDC verifikacija

Kuesta CDC identifikuje greške koristeći strukturnu analizu za prepoznavanje domena sata, sinhronizatora i struktura male snage putem Unified Power Format (UPF). On generiše tvrdnje za verifikaciju protokola zajedno sa modelima metastabilnosti za verifikaciju ponovne konvergencije.


Stupite u kontakt sa našim prodajnim timom: 1-800-547-3000

Ova CDC verifikacija
Ključne karakteristike

Ova CDC analiza visokih performansi

Koristeći samo vaš RTL (i UPF datoteku namere napajanja), Kuesta CDC rešenja automatski generišu i analiziraju tvrdnje kako bi brzo identifikovali probleme sa ukrštanjem satova i domena (CDC) koji ubijaju čip.

Verifikacija zasnovana na statičkoj verziji

Predstojeći događaji i događaji na zahtev

Pogledajte sve dostupne CDC, Lint i RDC video snimke na Akademija verifikacije.

Ova CDC verifikacija

Istaknuti beli papiri

Spremni ste danas da razgovarate sa nekim?

Stojimo spremni da odgovorimo na vaša pitanja.

Stupite u kontakt sa našim prodajnim timom 1-800-547-3000

Saznajte više

Akademija verifikacije

Akademija za verifikaciju pruža veštine potrebne za sazrevanje sposobnosti funkcionalnog procesa verifikacije organizacije, pružajući metodološki most između predloga vrednosti na visokom nivou i detalja niskog nivoa.

Blog Verification Horizons

Uvid i ažuriranja koncepata, vrednosti, standarda, metodologija i primera koji pomažu u razumevanju šta napredne tehnologije funkcionalne verifikacije mogu učiniti i kako ih najefikasnije primeniti.

Horizonti verifikacije

Publikacija Verification Horizons pruža koncepte, vrednosti, metodologije i primere koji pomažu u razumevanju šta napredne funkcionalne tehnologije verifikacije mogu učiniti i kako ih najefikasnije primeniti.