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
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.
Employ streamlined sourcing, decision making and negotiating operations with Teamcenter supply sourcing software
The direct materials sourcing solution from Teamcenter software enables businesses to precisely and efficiently govern their sourcing process within their supply chain.
Efficiently engineer robots of the future using simulation and testing solutions
Solutions to overcome robotics engineering challenges and innovate rapidly.