Catapult Formal Factsheet
Delivering an efficient approach to high-level design and verification closure
Catapult Formal is a suite of HL-targeted apps that adds confidence and checks implementation correctness. Catapult Formal is a plug-in compatible with existing RTL and UVM flows enabled by a suite of Catapult HLS products, methodology, and base-class libraries.
The Catapult HLS system provides options and settings for the appropriate formal analysis. For example, some checks are for equivalence, and some are verification of the user constraints for synthesis.
Catapult Formal also provides options and settings for the appropriate formal analysis.
Related resources
How Cloud-Based SaaS PLM Benefits Small and Medium Business
The Business Value of cloud-based SaaS PLM for Small and Medium Businesses
From chaos to collaboration: synchronizing ECAD and MCAD design domains
Learn how to improve collaboration between ECAD and MCAD teams to reduce errors, minimize rework and accelerate development of complex electronic products.
The executive’s guide to digital manufacturing for machine shops
Learn how executives transform their business with digital manufacturing, achieving faster speed-to-market, reduced risk, increased margin, and enhanced market position.