Questa One Sim Xact on innovatiivinen muodollinen analyysi- ja virtausautomaatio, joka virtaviivaistaa GLS:n käyttöönottoa ja johtaa parempaan ja täydellisempään kirjautumistarkastukseen.
Questa One Sim Xact mahdollistaa paljon nopeamman porttitason simulaation käynnistämisen poistamalla automaattisesti ärsyttävät väärät X:t, nollaviiveet kilpailuolosuhteet ja kirjaston mallinnusvirheet ja eristämällä vaikeasti diagnosoitavat yhteysongelmat. Lisäksi se tukee edistyneitä todellisia X-juurisyiden jäljitystyökaluja.
Muodollisesti tehostettu logiikkasimulaatio suorittaa dynaamisesti X-pessimismianalyysin, analysoi X: n etenemistä datapatoissa ja aidatussa kellologiikassa ja korjaa lennossa.
Nollaviiveinen GLS voi osoittaa kilpailuolosuhteita, etenkin malleissa, joissa on aidatut kellot ja viiveviivat. ”Pseudo-SDF” -generaattori ratkaisee tehokkaasti kilpailuolosuhteita koskevat ongelmat ilman, että solukirjastoja on muokattava.
Voiman/vapautumisen etenemisanalyysi vahvistaa, milloin voimat on optimoitu pois eivätkä enää aja mitään tuuletuslogiikkaa. Yhteysanalyysi löytää moduuleja, joissa on ohjaamattomia tuloja ja jotka luovat X-lähteitä.
Questa One Sim Xact tarjoaa parannetun menetelmän porttitason simulaation käyttöönottoon nopeasti ja helposti. Sen patentoitu tekniikka voi tehokkaasti analysoida simulaatiota käyttämällä kombinatorista analyysiä sen määrittämiseksi, ovatko X-arvot flip-flopin D-tuloissa vääriä X-pessimismin vuoksi vai todellisia. Se poistaa automaattisesti väärät X: t, joiden avulla porttitason simulointi tuottaa oikeat tulokset.
Siemens EDA tarjoaa maailmanluokan asiakastukea Questa One Simille ja kaikille tuotteillemme.
Verifiointiakatemia tarjoaa taidot, joita tarvitaan organisaation toiminnallisten todentamisprosessien valmiuksien kypsymiseen, tarjoamalla metodologisen sillan korkean tason arvoehdotusten ja matalan tason yksityiskohtien välillä.
Jos haluat auttaa ymmärtämään edistyneitä toiminnallisia todentamistekniikoita ja niiden tehokkainta soveltamista, käy blogissamme saadaksesi tietoa ja päivityksiä käsitteistä, arvoista, standardeista, menetelmistä ja esimerkeistä.
