FormalPro använder statiska formella verifieringstekniker för att bevisa att en design är funktionellt identisk med dess gyllene referens. Detta är storleksordningar snabbare än traditionell simulering på grindnivå - konstruktioner som tar dagar eller veckor kan verifieras på timmar eller till och med minuter med FormalPro.
Bevisa snabbt att en design är funktionellt identisk - jämför RTL med gate netlist för syntes, gate to gate netlists för layoutsnurr. Använd ett verktyg och flöde för alla dina mönster.
Snabb verifiering av flera miljoner grindkonstruktioner och dramatisk minskning av verifieringstiden med statiska formella verifieringstekniker. Snabbaste vägen till att korrigera design med ett omfattande felsökningsverktyg som identifierar platsen/orsaken till fel och den unika ”vad om” -förmågan att undersöka designändringar inom den befintliga verifieringssessionen.
Delta i diskussionen om nya ämnen, funktioner, innehåll och tekniska experter.
Få tillgång till detaljerade användarapplikationsanteckningar, utbildningsresurser och mer.
Hjälper dig att uppnå maximal affärseffekt genom att hantera komplexa teknik- och företagsutmaningar med en unik blandning av utvecklings- och designerfarenhet och metodexpertis.
