FormalPro používa statické formálne overovacie techniky, aby dokázal, že dizajn je funkčne identický so zlatou referenciou. Je to rádovo rýchlejšie ako tradičná simulácia na úrovni brány - návrhy, ktoré trvajú dni alebo týždne, je možné overiť v hodinách alebo dokonca minútach pomocou FormalPro.
ýchlo dokážte, že dizajn je funkčne identický - porovnajte RTL s bránou sieťovou listou pre syntézu, sieťové listy od brány k bráne pre rozloženie rozloženia. Použite jeden nástroj a tok pre všetky svoje návrhy.
Rýchle overenie viacmiliónových návrhov brán a dramatické skrátenie času overovania pomocou statických formálnych overovacích techník. Najrýchlejšia cesta k správnemu návrhu s komplexným nástrojom na ladenie, ktorý identifikuje umiestnenie/príčinu chýb a jedinečnú schopnosť „čo keby“ skúmať úpravy návrhu v rámci existujúcej overovacej relácie.
Pripojte sa k diskusii o nových témach, funkciách, obsahu a technických odborníkoch.
Získajte prístup k podrobným poznámkam k používateľskej aplikácii, zdrojom školenia a ďalším.
Pomáhame vám dosiahnuť maximálny obchodný vplyv riešením komplexných technologických a podnikových výziev s jedinečnou zmesou skúseností s vývojom a dizajnom a odborných znalostí v oblasti metodológie.
