Questa One Sim Xact är en innovativ formell analys och flödesautomatisering som effektiviserar GLS-upptagningen, vilket leder till bättre och mer fullständig signeringsverifiering.
Questa One Sim Xact möjliggör mycket snabbare simulering på gatenivå genom att automatiskt eliminera irriterande falska Xs, tävlingsförhållanden med noll fördröjning och biblioteksmodelleringsfel, samtidigt som svårt att diagnostisera anslutningsproblem isoleras. Dessutom stöder den avancerade verkliga X-rotorsaksspårningsverktyg.
Formell förbättrad logiksimulering utför dynamiskt X-pessimism-analys, analyserar X-utbredning i datapater och grindad klocklogik och reparerar i farten.
GLS med nollfördröjning kan visa tävlingsförhållanden, särskilt i konstruktioner med grindade klocknings- och fördröjningslinjer. ”Pseudo-SDF” -generatorn löser effektivt problem med rasförhållanden utan att behöva ändra cellbibliotek.
Analysen av kraft/utsläppsspridning bekräftar när krafterna har optimerats bort och inte längre driver någon fläktlogik. Anslutningsanalys hittar moduler med odrivna ingångar som skapar X-källor.
Questa One Sim Xact levererar en förbättrad metod för att snabbt och enkelt ta fram simulering på gate-nivå. Dess patenterade teknik kan effektivt analysera en simulering med hjälp av kombinatorisk analys för att avgöra om X-värden vid D-ingångar i en flip-flop är falska på grund av X-pessimism eller verkliga. Det eliminerar automatiskt de falska X: erna, vilket gör det möjligt för simuleringen på gate-nivå att producera korrekta resultat.
Siemens EDA erbjuder kundsupport i världsklass för Questa One Sim och alla våra produkter.
Verification Academy tillhandahåller de färdigheter som krävs för att mogna en organisations funktionella verifieringsprocessfunktioner, vilket ger en metodologisk bro mellan värdeförslag på hög nivå och detaljer på låg nivå.
För att hjälpa till med förståelsen av avancerad funktionell verifieringsteknik och hur man tillämpar dem mest effektivt, besök vår blogg för insikt och uppdateringar om koncept, värderingar, standarder, metoder och exempel.
