Questa One Sim Xact er en innovativ formel analyse- og flowautomatisering, der strømliner GLS-bring-up, hvilket fører til bedre og mere komplet signoff-verifikation.
Questa One Sim Xact muliggør meget hurtigere opstart af simulering på gate-niveau ved automatisk at eliminere irriterende falske X'er, nulforsinkelsesløbsforhold og biblioteksmodelleringsfejl, samtidig med at forbindelsesproblemer, der er vanskelige at diagnosticere, isoleres. Plus, det understøtter avancerede værktøjer til sporing af ægte X-rodårsager.
Formelt-forbedret logisk simulering udfører dynamisk X-pessimismeanalyse, analyserer X-udbredelse i datapater og lukket urlogik og reparerer på farten.
GLS med nulforsinkelse kan demonstrere racerforhold, især i design med lukkede klokke- og forsinkelseslinjer. „Pseudo-SDF“ -generatoren løser effektivt problemer med racerforhold uden behov for at ændre cellebiblioteker.
Kraft/frigivelsesudbredelsesanalyse bekræfter, hvornår kræfter er blevet optimeret væk og ikke længere driver nogen fanout-logik. Forbindelsesanalyse finder moduler med udrevne input, der skaber X-kilder.
Questa One Sim Xact leverer en forbedret metode til hurtigt og nemt at bringe simulering på gate-niveau op. Dens patenterede teknologi kan effektivt analysere en simulering ved hjælp af kombinatorisk analyse for at bestemme, om X-værdier ved D-input af en flip-flop er falske på grund af X-pessimisme eller reel. Det eliminerer automatisk de falske X'er, som gør det muligt for gate-niveau-simuleringen at producere de korrekte resultater.
Siemens EDA tilbyder kundesupport i verdensklasse til Questa One Sim og alle vores produkter.
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 detaljer på lavt niveau.
For at hjælpe med forståelsen af avancerede funktionelle verifikationsteknologier og hvordan man anvender dem mest effektivt, besøg vores blog for indsigt og opdateringer om koncepter, værdier, standarder, metoder og eksempler.
