FormalPro používá statické formální ověřovací techniky k prokázání, že design je funkčně totožný s jeho zlatým odkazem. To je řádově rychlejší než tradiční simulace na úrovni brány - návrhy, které trvají dny nebo týdny, lze ověřit v hodinách nebo dokonce minutách pomocí FormalPro.
Rychle dokažte, že design je funkčně identický - porovnejte RTL s gate netlist pro syntézu, netlisty gate to gate pro rozvržení otočení. Použijte jeden nástroj a postup pro všechny své návrhy.
Rychlé ověření vícemilionových návrhů bran a dramatické zkrácení doby ověření pomocí statických formálních ověřovacích technik. Nejrychlejší cesta ke korekci návrhu s komplexním ladicím nástrojem, který identifikuje umístění/příčinu chyb a jedinečnou schopnost „co kdyby“ zkoumat úpravy návrhu v rámci stávající relace ověření.
Připojte se k diskusi o nových tématech, funkcích, obsahu a technických expertech.
Získejte přístup k podrobným poznámkám o uživatelských aplikacích, školicím zdrojům a dalším.
Pomáháme vám dosáhnout maximálního obchodního dopadu řešením složitých technologických a podnikových výzev s jedinečnou kombinací zkušeností s vývojem a designem a odborných znalostí metodologie.
