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
A designer’s journey from concept to manufacturing
From concept to manufacturing, learn the designer’s journey in 4 complete steps with Siemens Digital Industries Software.
The Business Owner’s Brief on Accelerated Engineering and Digital Transformation
Watch this webinar to learn more about digital transformation for small and medium enterprises and the challenges they face from a survey conducted by Lifecycle Insights.
2022 Engineering Strategies for Small to Medium Enterprises Study
Formulate successful strategies to improve engineering and shift towards a profitable future. Learn more from this 2022 Engineering Strategies for SMB study.