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
Airbus uses Simcenter Testlab to improve and streamline its flutter analysis process
Siemens Digital Industries Software solution enables processing of vast A380 in-flight data during offline analysis
Digital image correlation for aircraft materials and structural testing
Watch this webinar on aircraft materials and structural testing to learn how digital image correlation alleviates limitations and offers new insights.
Five ways digitalization streamlines aircraft certification
Accelerate aircraft certification. Incorporate verification and certification tasks into daily product development with a digital thread and digital twin.