Ösztönző nélküli ellenőrzés

Teljesen automatikus hivatalos problémávadászati alkalmazás, amely mélyen rejtett problémákat talál a gyakori RTL kódolási hibák miatt, Questa Inspect lehetővé teszi a problémák széles skálájának kiküszöbölését tesztpad nélkül.

A Questa Check Connect Az alkalmazás egy teljesen automatizált megoldás a statikus és dinamikus kapcsolat kimerítő ellenőrzésére anélkül, hogy formális vagy tulajdonságspecifikációs nyelveket igényelne.

Questa Increase Coverage egy automatikus formális megoldás a kódlefedettség gyorsabb lezárására, amely egy vitathatatlan ellenőrzési tényekkel foglalkozik: a fedetlen kód bizonyos töredéke mindig megmarad.

A Questa Formal VIP AMBA és OnChip könyvtárak javítják a minőséget és csökkentik az ütemterveket azáltal, hogy a protokoll- és módszertani szakértelmet újrafelhasználható állítások csomagjaiba építik, amelyek támogatják a népszerű iparági szabványos interfészeket.

Questa Verify Property kimerítően felfedezi az esetleges tervezési hibákat, anélkül, hogy konkrét ösztönzésre lenne szükség a probléma észleléséhez. Ez biztosítja, hogy az ellenőrzött tervezés minden jogi bemeneti forgatókönyvben problémamentes legyen.

A Questa Check Register Az alkalmazás automatizálja a vezérlés és az állapotnyilvántartás viselkedésének kimerítő ellenőrzését a CSV vagy az IP-XACT regiszter specifikációjával szemben.

A Questa Verify Secure Az alkalmazás egy teljesen automatizált megoldás annak kimerítő ellenőrzésére, hogy csak a megadott útvonalak érhetik el a biztonsági vagy biztonsági szempontból kritikus tárolóelemeket.

Questa Equivalent RTL kimerítő formális elemzés segítségével automatikusan összehasonlítja az RTL specifikációt és az implementációs RTL kódblokkokat. Nincs szükség formális vagy tulajdonspecifikációs nyelvek ismeretére.

Questa Check X egy automatizált alkalmazás, amely kimerítő módon kideríti az „X” problémákat RTL szinten tesztpaddal nélkül.

A Siemens Questa Equivalent FPGA A megoldás biztosítja, hogy az FPGA implementációs folyamatok, mint például a szintézis és a hely- és útvonaloptimalizálás, ne vezetjenek be funkcionális hibákat.

Questa GapFree optimalizálja a digitális tervek minőségét azáltal, hogy bizonyítja az összes bemenet összes funkcionalitását, ami soha nem látott alacsony problémák elkerülési arányához vezet.

Questa HL-SYC bővítéssel végzett magas szintű tervezés-ellenőrzés segít kiküszöbölni a szintézis előtti problémákat azáltal, hogy az ellenőrzést az áramlás korai szakaszában

Questa Verify Trust automatizált elemzést alkalmaz a biztonsági biztonsági problémák észlelésére és jelentésére.

Biztosítja, hogy a RISC-V tervek megfeleljenek az ISA-nak és a funkcionális előfeltételeknek, felgyorsítva az ellenőrzést azáltal, hogy kiküszöböli a tesztpadok létrehozásának szükségességét.

A Questa FPU Az alkalmazás jelentősen minimalizálja az ellenőrzési munkaterhelést, biztosítva a lebegőpontos implementációk pontos összehangolását a kívánt eredményekhez.

A Questa Analyze Fault Az alkalmazás a Questa formal technológián alapuló megoldás, amely befecskendezéssel elemzi a hibákat, és formálisan ellenőrzi azok eredményét a hardver biztonsága és biztonsága szempontjából.

Az Analyze Architecture egy úttörő megoldás, amely lehetővé teszi a felhasználó számára, hogy ellenőrizze a nagy hardverrendszereket, hogy megfelelnek-e a megadott architektúrának.

A Questa Post Silicon Debug alkalmazás kihasználja a formális elemzést és a tulajdonságszintézist, hogy gyorsan kiváltsa a logikai problémákat a SoC mélyén, és bizonyítsa, hogy a javítások nem törnek meg semmi mást.