弹射®高级合成
该行业领先的高级合成平台，经过验证的结果质量和25-50％的核查成本减少。
弹射性高级综合（HLS）平台授权设计人员使用行业标准的ANSI C ++和Systemc来描述功能意图，并转到更高效的抽象级别。
弹射性高级综合平台赋予设计人员使用行业标准的ANSI C ++和Systemc来描述功能意图，并转到更高效的抽象级别。
从这些高级描述中，CataPult产生生产质量RTL。通过超速时间到RTL，通过自动化Bug Free RTL，CataPult显着减少了验证RTL的时间。CataPult平台对综合合成，具有正式的C属性检查，在C / C ++ / Systemc级别的早期查找错误，并在合成之前全面验证源代码。
弹射器的高级电源优化自动在动态功耗中自动降低。高度交互式的CataPult工作流程提供了完全的可见性和控制合成过程，使设计人员能够快速收敛于功率，性能和区域的最佳实现。
特色资源
主要特点/优点
- 本机系统和ANSI C ++合成
- 写入80％的代码以节省时间并使调试轻松
- 降低验证时间更快地模拟100-1000x
- RTL针对电源，性能，区域和RTL验证进行了优化
- 紧密综合的正式C房产检查C基于C的验证
“由于飞行员通过可预测的功能准确性和高质量的结果获得了我们的信任，我们获得了所需的信心来为工具分配更大的设计，从而提高了更大的生产率。”
Alexandre Cellier，STMicroelectronics
"Our microprocessor design teams are consistently innovating to increase overall performance and deliver industry-leading performance-per-watt. The fast, comprehensive verification which Calypto’s SLEC provides enhances this creative process, helping our design teams continue to meet the processing needs of our customers."
Nihar Mohapatra，AMD
“通过CataPult流程，RTL调试字面消失。C模型在其环境中验证，从那里创建了正确的逐个rtl。这急剧地降低了验证工作。”
Giuseppe Bonanno，Stmicroelectronics
“我们认为SLEC是我们的高级设计流程中的一个重要工具。”
Osamu Tada，Renesas
CataPult HLS平台
C / C ++ / Systemc合成HLS
让设计人员使用行业标准ANSI C ++或Systemc来描述ESL级别的功能意图。从这些高级描述中，CataPult会自动生成生产质量RTL，从而大大缩短硬件设计流程中的设计和验证。
HLS验证
HLS验证CataPult平台有三类：
- 自动/正式检查用户HLS针对C ++ / Systemc代码在合成之前查找错误。
- 基于仿真的验证与生成RTL的用户C ++ / SystemC源的功能比较，包括覆盖和断言等度量。
- 使用来自合成的生成的RTL的用户C ++ / SystemC代码的等价性正式验证
低功率HLS
该行业的第一个HLS工具，可以将电力添加为优化目标。通过利用Calypto现有的最佳级电力分析和优化技术，CataPult低功耗提供了跨电源，性能和区域的闭环优化，以解决动力感知设计的挑战。
