Catapult

制造商：Mentor Graphics

Catapult高级综合平台使设计师能够使用行业标准ANSI C++和SystemC来描述功能意图，并提升到更高效的抽象级别

从这些高级描述中，Catapult生成生产质量RTL。通过加快RTL的运行速度和自动生成无缺陷RTL，Catapult显著缩短了RTL验证的时间。Catapult平台将合成与正式的C属性检查功能结合起来，以便在C/C++/SystemC级别早期发现错误，并在合成之前全面验证源代码

弹射器的先进功率优化自动提供动态功耗的显著降低。高度交互式的Catapult工作流提供了对合成过程的全面可视性和控制，使设计师能够快速地集中精力，实现最佳的功率、性能和面积

弹射器的主要功能/优点：

原生SystemC和ANSI C++合成

编写的代码减少80%，从而节省时间并简化调试

模拟速度加快100-1000倍，缩短验证时间

RTL针对功率、性能、面积和RTL验证进行了优化

用于基于C的验证的紧密集成形式C属性检查

HLS平台：

弹射器/C++/SystemC合成HLS

允许设计师使用行业标准ANSI C++或SystemC在ESL级别描述功能意图。从这些高级描述中，Catapult自动生成生产质量RTL，以显著缩短硬件设计流程中的设计和验证。

HLS验证

弹射器平台的HLS验证分为三类：

自动/正式检查用户HLS目标C++/SystemC代码在合成前查找错误。

基于模拟的验证将用户C++/SystemC源代码的功能与生成的RTL进行比较，包括覆盖率和断言等指标。

用户C++/SystemC代码与合成生成的RTL等价性的形式验证

低功率合肥光源

该行业第一款HLS工具，将增加功率作为优化目标。通过利用Calypto现有的同类更佳功率分析和优化技术，Catapult Low power在功率、性能和面积方面提供了闭环优化，以应对功率感知设计的挑战。