FormalPro maakt gebruik van statische formele verificatietechnieken om te bewijzen dat een ontwerp functioneel identiek is aan de gouden referentie. Dit is ordes van grootte sneller dan traditionele simulatie op poortniveau - ontwerpen die dagen of weken duren, kunnen met FormalPro in uren of zelfs minuten worden geverifieerd.
Bewijs snel dat een ontwerp functioneel identiek is - vergelijk RTL met gate-netlist voor synthese, gate-to-gate netlists voor lay-outspins. Gebruik één tool en flow voor al je ontwerpen.
Snelle verificatie van ontwerpen van meerdere miljoenen poorten en een drastische verkorting van de verificatietijd met behulp van statische formele verificatietechnieken. Snelste route naar een correct ontwerp met een uitgebreide debug-tool die de locatie/oorzaak van fouten identificeert en de unieke „what-if” -mogelijkheid om ontwerpwijzigingen binnen de bestaande verificatiesessie te onderzoeken.
Praat mee over nieuwe onderwerpen, functies, inhoud en technische experts.
Bekijk gedetailleerde notities over gebruikerstoepassingen, trainingsbronnen en meer.
We helpen u maximale zakelijke impact te bereiken door complexe technologische en zakelijke uitdagingen aan te pakken met een unieke combinatie van ontwikkelings- en ontwerpervaring en methodologische expertise.
