denne ene sim-xact muliggjør mye raskere oppstart av simulering på portnivå ved automatisk å eliminere irriterende falske X-er, null-forsinkelsesløpsforhold og bibliotekmodelleringsfeil, mens du isolerer vanskelige å diagnostisere tilkoblingsproblemer. 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.
denne ene 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 denne simmen 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.
