FormalPro statikus formális ellenőrzési technikákat használ annak bizonyítására, hogy a design funkcionálisan megegyezik az arany referenciával. Ez nagyságrenddel gyorsabb, mint a hagyományos kapu szintű szimuláció - napokat vagy heteket igénylő tervek órákban vagy akár percekben ellenőrizhetők a FormalPro segítségével.
yorsan bizonyítsa be, hogy a kialakítás funkcionálisan azonos - hasonlítsa össze az RTL-t a kapu hálózati listával a szintézishez, a kapu-kapu közötti hálózati listákat az elrendezési pörgetésekhez. Használjon egyetlen eszközt és folyamatot az összes tervhez.
kaputervek gyors ellenőrzése és az ellenőrzési idő drámai csökkentése statikus formális ellenőrzési technikákkal. A leggyorsabb útvonal a tervezés javításához egy átfogó hibakeresési eszközzel, amely azonosítja a hibák helyett/okát, és az egyedi „mi, ha” képességgel tudja kivizsgálni a tervezési módosításokat a meglévő ellenőrzési munkameneten belül.
satlakozzon az új témákról, funkciókról, tartalomról és műszaki szakértőkről szóló vitához.
Hozzáférhet a részletes felhasználói alkalmazások megjegyzéseihez, képzési forrásokhoz és
Segít a maximális üzleti hatás elérésében az összetett technológiai és vállalati kihívások kezelésével a fejlesztési és tervezési tapasztalatok és a módszertani szakértelem egyedülálló keverékével.
