Catapult®高级合成

该行业领先的高级合成平台,经过验证的结果质量和25-50%的核查成本减少。

The Catapult High-Level Synthesis (HLS) Platform empowers designers to use industry-standard ANSI C++ and SystemC to describe functional intent and move up to a more productive abstraction level.

弹射性高级合成

弹射性高级综合平台赋予设计人员使用行业标准的ANSI C ++和Systemc来描述功能意图,并转到更高效的抽象级别。

From these high-level descriptions, Catapult generates production-quality RTL. By speeding time to RTL and by automating the generation of bug free RTL, Catapult significantly reduces the time to verified RTL. The Catapult Platform pairs synthesis with the power of formal C property checking to find bugs early at the C/C++/SystemC level and to comprehensively verify source code before synthesis.

弹射器的高级电源优化自动在动态功耗中自动降低。高度交互式的CataPult工作流程提供了完全的可见性和控制合成过程,使设计人员能够快速收敛于功率,性能和区域的最佳实现。

主要特点/优点

  • 本机系统和ANSI C ++合成
  • Write 80% less code to save time and make debug easy
  • 降低验证时间更快地模拟100-1000x
  • RTL针对电源,性能,区域和RTL验证进行了优化
  • 紧密综合的正式C房产检查C基于C的验证

STMicroelectronics.

“由于飞行员通过可预测的功能准确性和高质量的结果获得了我们的信任,我们获得了所需的信心来为工具分配更大的设计,从而提高了更大的生产率。”

Alexandre Cellier, STMicroelectronics

“在评估高级别合成的弹射器之后,我们发现有可能缩短开头设计师的设计时间,因为弹射器GUI非常容易和直观地使用。我们还发现弹射器会给我们我们需要的质量和生产力,我们能够在很短的周转时间内开发非常复杂的IPS,以便在我们的ASIC中纳入。“

奥林巴斯研发部总经理SoC技术部副总经理Tetsuya Kawasaki

AMD

"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

STMicroelectronics.

“通过CataPult流程,RTL调试字面消失。C模型在其环境中验证,从那里创建了正确的逐个rtl。这急剧地降低了验证工作。”

Giuseppe Bonanno,Stmicroelectronics

瑞萨

“我们认为SLEC是我们的高级设计流程中的一个重要工具。”

Osamu Tada,Renesas

CataPult HLS.Platform

C / C ++ / Systemc合成HLS

让设计人员使用行业标准ANSI C ++或Systemc来描述ESL级别的功能意图。从这些高级描述中,CataPult会自动生成生产质量RTL,从而大大缩短硬件设计流程中的设计和验证。

HLS验证

HLS验证with the Catapult Platform has three categories:

  • 自动/正式检查用户HLS针对C ++ / Systemc代码在合成之前查找错误。
  • Simulation based verification comparing functionality of users C++/SystemC source with generated RTL including metrics such as coverage and assertions.
  • 使用来自合成的生成的RTL的用户C ++ / SystemC代码的等价性正式验证

低功率HLS

该行业的第一个HLS工具,可以将电力添加为优化目标。通过利用Calypto现有的最佳级电力分析和优化技术,CataPult低功耗提供了跨电源,性能和区域的闭环优化,以解决动力感知设计的挑战。

| Contact