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
Airplane manufacturer uses Siemens solutions to reduce product development time for all-electric composite aircraft
NX, Fibersim and Simcenter enhance Bye Aerospace productivity with 66 percent fewer engineering staff.
Improving cyclist safety and confidence by enhancing stability and using simulations to reduce drag by 7 percent
Radiate Engineering & Design uses Simcenter to optimize the monocoque wheel’s aerodynamic and mechanical performance.
Improving efficiency by speeding up design cycles by 20 percent and design adjustment time by 30 percent
Tremonia Mobility uses the Designcenter software suite to design eco-friendly, efficient and customizable minibuses