“Questa One Sim Xact” yra novatoriška formali analizė ir srautų automatizavimas, kuris supaprastina GLS atnešimą, todėl geresnis ir išsamesnis pasirašymo patikrinimas.
“Questa One Sim Xact” įgalina daug greitesnį vartų lygio modeliavimą automatiškai pašalindama neramus klaidingus “X”, nulinio uždelsimo lenktynių sąlygas ir bibliotekos modeliavimo klaidas, tuo pačiu išskiriant sunkiai diagnozuojamas ryšio problemas. Be to, jis palaiko pažangius realių X pagrindinių priežasčių sekimo įrankius.
Formalios sustiprintos logikos modeliavimas dinamiškai atlieka X-pesimizmo analizę, analizuoja X sklidimą datapaths ir įkrautų laikrodžio logika ir remontuoja skristi.
Nulinio uždelsimo GLS gali demonstruoti lenktynių sąlygas, ypač projektuose su įrištomis laikrodžio ir vėlavimo linijomis. “Pseudo-SDF” generatorius efektyviai išsprendžia rasės būklės problemas, nereikalaujant modifikuoti ląstelių bibliotekų.
Jėgos/išleidimo sklidimo analizė patvirtina, kai jėgos buvo optimizuotos toli ir nebevaro jokios fanout logikos. Ryšio analizė randa modulius su nevažiuojamais įėjimais, kurie sukuria X šaltinius.
“Questa One Sim Xact” pristato patobulintą metodiką, leidžiančią greitai ir lengvai sukurti vartų lygio modeliavimą. Jos patentuota technologija gali veiksmingai analizuoti modeliavimą naudojant kombinatorinę analizę, siekiant nustatyti, ar X vertės flip-flopo D-įėjimuose yra klaidingos dėl X pesimizmo, ar realios. Tai automatiškai pašalina klaidingus X, kurie leidžia vartų lygio modeliavimui gauti teisingus rezultatus.
“Siemens EDA” siūlo pasaulinio lygio klientų palaikymą “Questa One Sim” ir visiems mūsų produktams.
Patikrinimo akademija suteikia įgūdžių, reikalingų organizacijos funkcinio patikrinimo proceso galimybėms subrandinti, suteikdama metodinį tiltą tarp aukšto lygio vertės pasiūlymų ir žemo lygio detalių.
Norėdami padėti suprasti pažangias funkcines tikrinimo technologijas ir kaip jas efektyviausiai taikyti, apsilankykite mūsų tinklaraštyje, kad gautumėte įžvalgų ir atnaujinimų apie sąvokas, vertybes, standartus, metodikas ir pavyzdžius.
