A Questa One Sim Xact egy innovatív formális elemzés és áramlás-automatizálás, amely egyszerűsíti a GLS bevezetését, ami jobb és teljesebb feliratkozási ellenőrzést eredményez.
A Questa One Sim Xact sokkal gyorsabb kapu szintű szimulációját teszi lehetővé azáltal, hogy automatikusan kiküszöböli a bosszantó hamis X-eket, a nulla késleltetésű versenyfeltételeket és a könyvtári modellezési hibákat, miközben elkülöníti a nehezen diagnosztizálható csatlakozási problémákat. Ráadásul támogatja a fejlett valódi X gyökér-nyomkövető eszközöket.
A formálisan továbbfejlesztett logikai szimuláció dinamikusan végzi az X-pesszimizmus elemzését, elemzi az X terjedését adatlapátokban és a záróórák logikájában, és menet közben javítja.
A nulla késleltetésű GLS versenykörülményeket mutathatja, különösen zárt órajelekkel és késleltetési vonalakkal rendelkező kivitelben. A „pszeudo-SDF” generátor hatékonyan oldja meg a versenyfeltételekkel kapcsolatos problémákat anélkül, hogy módosítania kellene a sejtkönyvtárakat.
Az erő/felszabadulás terjedésének elemzése megerősíti, hogy az erőket optimalizálták, és már nem hajt végre semmilyen ventilációs logikát. A csatlakoztathatósági elemzés olyan modulokat talál, amelyek X forrást hoznak létre, nem vezetett bemenettel.
A Questa One Sim Xact továbbfejlesztett módszertant kínál a kapu szintű szimuláció gyors és egyszerű felállításához. Szabadalmaztatott technológiája kombinatorikus elemzés segítségével hatékonyan képes elemezni egy szimulációt annak meghatározására, hogy a flip-flop D-bemenetein lévő X értékek hamisak-e az X-pesszimizmus miatt vagy valósak. Automatikusan kiküszöböli a hamis X-eket, amelyek lehetővé teszik a kapu szintű szimuláció számára a helyes eredmények elérését.
A Siemens EDA világszínvonalú ügyféltámogatást kínál a Questa One Sim és minden termékünkhöz.
A Verification Academy biztosítja a szervezet funkcionális ellenőrzési folyamatainak kifejlesztéséhez szükséges készségeket, módszertani hidat biztosítva a magas szintű értékjavaslatok és az alacsony szintű részletek között.
A fejlett funkcionális ellenőrzési technológiák megértéséhez és azok leghatékonyabb alkalmazásához látogasson el blogunkra, ahol betekintést és frissítéseket talál a fogalmakról, értékekről, szabványokról, módszertanokról és példákról.
