Questa One Sim Xact is een innovatieve formele analyse en stroomautomatisering die de invoering van GLS stroomlijnt, wat leidt tot een betere en completere verificatie van de afmelding.
Questa One Sim Xact maakt een veel snellere simulatie op poortniveau mogelijk door automatisch vervelende valse X's, racecondities zonder vertraging en fouten in de bibliotheekmodellering te elimineren, terwijl moeilijk te diagnosticeren verbindingsproblemen worden geïsoleerd. Bovendien ondersteunt het geavanceerde tools voor het opsporen van hoofdoorzaken in real X.
Formeel verbeterde logische simulatie voert op dynamische wijze X-pessimisme-analyses uit, analyseert de X-propagatie in datapaden en logica's met poorten en reparaties in een handomdraai.
GLS zonder vertraging kan de raceomstandigheden aantonen, vooral in ontwerpen met gesloten klok- en vertragingslijnen. De „" pseudo-SDF "” -generator lost problemen met racecondities efficiënt op zonder de noodzaak om de celbibliotheken aan te passen.”
Analyse van de voortplanting tussen kracht en vrijgave bevestigt wanneer de krachten zijn geoptimaliseerd, waardoor de logica van de fanout niet langer wordt verdreven. Connectiviteitsanalyse vindt modules met niet-aangedreven ingangen die X-bronnen creëren.
Questa One Sim Xact biedt een verbeterde methode om snel en eenvoudig simulaties op poortniveau uit te voeren. De gepatenteerde technologie kan een simulatie effectief analyseren met behulp van combinatorische analyse om te bepalen of de X-waarden op de D-ingangen van een flip-flop onjuist zijn vanwege X-pessimisme of reëel. Het elimineert automatisch de valse X's, waardoor de simulatie op poortniveau de juiste resultaten oplevert.
Siemens EDA biedt klantenondersteuning van wereldklasse voor Questa One Sim en al onze producten.
Verification Academy biedt de vaardigheden die nodig zijn om de functionele verificatiecapaciteiten van een organisatie te ontwikkelen, door een methodologische brug te vormen tussen waardeproposities op hoog niveau en informatie op laag niveau.
Om u te helpen meer inzicht te krijgen in geavanceerde functionele verificatietechnologieën en hoe u deze het meest effectief kunt toepassen, kunt u ons blog bezoeken voor inzichten en updates over concepten, waarden, normen, methodologieën en voorbeelden.
