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 simulaties 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 poortnetlist voor synthese, netlijsten van poort tot poort voor spins in de lay-out. Gebruik één tool en flow voor al uw ontwerpen.
Snelle verificatie van ontwerpen van meerdere miljoenen poorten en een drastische verkorting van de verificatietijd met behulp van statische formele verificatietechnieken. De snelste manier om een ontwerp te corrigeren met een uitgebreide debugtool die de locatie/oorzaak van fouten identificeert en de unieke „wat-als” -mogelijkheid om ontwerpwijzigingen binnen de bestaande verificatiesessie te onderzoeken.
Neem deel aan de discussie over nieuwe onderwerpen, functies, inhoud en technische experts.
Bekijk gedetailleerde notities over gebruikerstoepassingen, trainingsmateriaal en meer.
Wij 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.
