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
Multi-disciplinary design optimization breaks down design silos
Multi-disciplinary design optimization accelerates the design process while reducing cost. Learn more.
Next generation CAD software for heavy vehicle design
NX CAD unites electrical, mechanical & control systems in the only true multidisciplinary platform available with vehicle design automation & validation tools built in.
Accelerate at scale using product design technology
Reduce time-to-market using product design technology. A Multi-disciplinary design drives mechanical, electric & electronics design simultaneously.
Accelerate equipment design using product design software
Digitally transform equipment design and development using product design software. Learn the benefits.