Questa One Sim Xact este o analiză formală inovatoare și automatizare a fluxului care eficientizează punerea în funcțiune a GLS, ducând la o verificare mai bună și mai completă a semnării.
Questa One Sim Xact permite lansarea mult mai rapidă a simulării la nivel de poartă prin eliminarea automată a X-urilor false plictisitoare, a condițiilor de curse cu întârziere zero și a erorilor de modelare a bibliotecii, izolând în același timp problemele de conectivitate greu de diagnosticat. În plus, acceptă instrumente avansate de urmărire a cauzelor X reale.
Simularea logică îmbunătățită formal efectuează în mod dinamic analiza pesimismului X, analizează propagarea X în datapoți și logica ceasului închis și repară din mers.
GLS cu întârziere zero poate demonstra condiții de cursă, în special în modelele cu linii de ceasornic și de întârziere închise. Generatorul „pseudo-SDF” rezolvă eficient problemele condițiilor de cursă fără a fi nevoie să modificați bibliotecile de celule.
Analiza propagării forței/eliberării confirmă momentul în care forțele au fost optimizate și nu mai conduc nicio logică de ventilație. Analiza conectivității găsește module cu intrări nedeterminate care creează surse X.
Questa One Sim Xact oferă o metodologie îmbunătățită pentru introducerea rapidă și ușoară a simulării la nivel de poartă. Tehnologia sa brevetată poate analiza eficient o simulare folosind analiza combinatorie pentru a determina dacă valorile X la intrările D ale unui flip-flop sunt false din cauza pesimismului X sau reale. Elimină automat X-urile false, care permit simulării la nivel de poartă să producă rezultatele corecte.
Siemens EDA oferă asistență pentru clienți de clasă mondială pentru Questa One Sim și pentru toate produsele noastre.
Academia de verificare oferă abilitățile necesare pentru a maturiza capacitățile procesului de verificare funcțională ale unei organizații, oferind o punte metodologică între propunerile de valoare la nivel înalt și detaliile de nivel scăzut.
Pentru a ajuta la înțelegerea tehnologiilor avansate de verificare funcțională și a modului de aplicare a acestora cel mai eficient, vizitați blogul nostru pentru informații și actualizări despre concepte, valori, standarde, metodologii și exemple.
