FormalPro verwendet statische formale Verifikationstechniken, um zu beweisen, dass ein Design funktionell mit seiner goldenen Referenz identisch ist. Das ist um Größenordnungen schneller als herkömmliche Simulationen auf Gate-Ebene — Designs, die Tage oder Wochen dauern, können mit FormalPro in Stunden oder sogar Minuten verifiziert werden.
Beweisen Sie schnell, dass ein Design funktionell identisch ist — vergleichen Sie RTL mit Gate-Netlist für Synthesis, Gate-to-Gate-Netzlisten für Layout-Spins. Verwenden Sie ein Tool und Flow für all Ihre Designs.
Schnelle Überprüfung von mehreren Millionen Torkonstruktionen und drastische Verkürzung der Überprüfungszeit mithilfe statischer formaler Verifikationstechniken. Schnellster Weg zur Entwurfskorrektur mit einem umfassenden Debug-Tool, das den Ort/die Ursache von Fehlern identifiziert und die einzigartige „Was-wäre-wenn“ -Funktion zur Untersuchung von Konstruktionsänderungen innerhalb der bestehenden Überprüfungssitzung bietet.
Nehmen Sie an der Diskussion über neue Themen, Features, Inhalte und technische Experten teil.
Greifen Sie auf detaillierte Anwendungshinweise für Benutzer, Schulungsressourcen und mehr zu.
Wir helfen Ihnen dabei, maximale geschäftliche Auswirkungen zu erzielen, indem wir komplexe Technologie- und Unternehmensherausforderungen mit einer einzigartigen Mischung aus Entwicklungs- und Designerfahrung und Methodenkompetenz angehen.
