Skip to main content
Denne side vises ved hjælp af automatiseret oversættelse. Vil du have den vist på engelsk i stedet?

Oversigt

Denne RDC verifikation

Questa RDC udnytter CDC-stien og undtagelsesoplysningerne hentet fra Questa CDC-analyse, udfører derefter en omfattende, formelt baseret analyse, der fokuserer på de faktiske funktionelle nulstillingsdomænekrydsningsveje for høj gennemstrømning og den mest deterministiske vej til handlingsbare resultater.


Kontakt vores salgsteam på 800-547-3000

Denne RDC verifikation
Nøglefunktioner

Denne RDC verifikation

Reset-domænekrydsninger (RDC'er) kan udsætte et design for datatab eller kontrolsignalkorruption, ligesom overgange til urdomæner. Questa RDC verificerer formelt og udtømmende krydsninger af nulstillingsdomæner, hvilket giver en høj værdi og lav indsats til at udvide din domænekrydsningsbekræftelse til RDC'er.

Statisk baseret verifikation

Kommende og on-demand begivenheder

Se alle tilgængelige CDC-, Lint- og RDC-videooptagelser på Verifikationsakademi.

Denne RDC-bekræftelse

Fremhævede hvidbøger

Klar til at tale med nogen i dag?

Vi står klar til at besvare dine spørgsmål.

Send os en e-mail

Kontakt vores salgsteam: 1-800-547-3000 eller 1-503-685-8000

Få mere at vide

Verifikationsakademi

Verification Academy giver de færdigheder, der er nødvendige for at modne en organisations funktionelle verifikationsprocesfunktioner, hvilket giver en metodologisk bro mellem værdiforslag på højt niveau og detaljerne på lavt niveau.

Verifikation Horizons-blog

Indsigt og opdateringer om koncepter, værdier, standarder, metoder og eksempler for at hjælpe med forståelsen af, hvad avancerede funktionelle verifikationsteknologier kan gøre, og hvordan man mest effektivt anvender dem.

Verifikationshorisonter

Publikationen Verification Horizons giver koncepter, værdier, metoder og eksempler til at hjælpe med forståelsen af, hvad avancerede funktionelle verifikationsteknologier kan gøre, og hvordan man mest effektivt anvender dem.