Questa One Sim Xact er en innovativ formell analyse- og flytautomatisering som effektiviserer GLS-opptak, noe som fører til bedre og mer fullstendig avmeldingsverifisering.
Questa One Sim Xact muliggjør mye raskere oppstart av simulering på portnivå ved automatisk å eliminere irriterende falske X-er, løpsforhold med null forsinkelse og biblioteksmodelleringsfeil, samtidig som tilkoblingsproblemer som er vanskelig å diagnostisere. I tillegg støtter den avanserte ekte X-rotårsakssporingsverktøy.
Formelt-forbedret logikksimulering utfører dynamisk X-pessimismeanalyse, analyserer X-forplantning i datapater og inngjerdet klokkelogikk og reparerer på farten.
GLS med null forsinkelse kan demonstrere løpsforhold, spesielt i design med inngjerdede klokking og forsinkelseslinjer. «Pseudo-SDF» -generatoren løser effektivt løpstilstandsproblemer uten behov for å endre cellebiblioteker.
Kraft/frigjøringsforplantningsanalyse bekrefter når krefter er optimalisert bort og ikke lenger driver noen fanout-logikk. Tilkoblingsanalyse finner moduler med udrevne innganger som lager X-kilder.
Questa One Sim Xact leverer en forbedret metodikk for å få frem simulering på portnivå raskt og enkelt. Den patenterte teknologien kan effektivt analysere en simulering ved hjelp av kombinatorisk analyse for å avgjøre om X-verdier ved D-innganger av en flip-flop er falske på grunn av X-pessimisme eller ekte. Det eliminerer automatisk de falske X-ene, som gjør at simuleringen på portnivå gir de riktige resultatene.
Siemens EDA tilbyr kundestøtte i verdensklasse for Questa One Sim og alle våre produkter.
Verification Academy gir ferdighetene som er nødvendige for å modne en organisasjons funksjonelle verifiseringsprosessfunksjoner, og gir en metodisk bro mellom verdiforslag på høyt nivå og detaljer på lavt nivå.
For å hjelpe deg med forståelsen av avanserte funksjonelle verifiseringsteknologier og hvordan du bruker dem mest effektivt, besøk bloggen vår for innsikt og oppdateringer om konsepter, verdier, standarder, metoder og eksempler.
