弹射器高层次综合(HLS)平台授权设计者使用工业标准ANSI C++和SystemC来描述功能意图,并提升到更具生产力的抽象水平。

弹射器高级合成

弹射器高层次综合平台授权设计者使用工业标准ANSI C++和SystemC来描述功能意图,并提升到更具生产力的抽象水平。

根据这些高级描述,弹射器产生高质量的RTL。通过将时间加速到RTL并通过自动生成无bug的RTL,弹射显著减少了验证RTL的时间。在C/C++/SystemC级别上,利用C形式的属性检查的能力对弹射器平台进行配对合成,并在合成前全面验证源代码。

弹射器的先进功率优化自动提供显着降低动态功耗。高度交互的弹射工作流程提供了合成过程的完全可见性和控制,使设计人员能够快速地收敛于最佳功率实现,性能,和面积。

主要特点/好处

  • 原生SystemC与ANSI C++综合
  • 减少80%的代码以节省时间并简化调试
  • 更快地模拟100-1000x以减少验证时间
  • 针对功率优化的RTL,性能,面积,RTL验证
  • 基于C验证的紧密集成形式C属性检查

意法半导体

“由于Catapult通过可预测的功能精度和高质量的结果赢得了我们的信任,我们获得了为该工具分配更大设计所需的信心,导致更大的生产力增长。”“

亚历山大·塞利尔,意法半导体

“在对弹射器进行高级综合评估之后,我们发现,由于Catapult GUI使用起来非常简单直观,因此可以缩短初始设计人员的设计时间。我们还发现,Catapult将提供我们需要的质量和生产力,而且我们能够在非常短的周转时间内开发出非常复杂的IP被包括在我们的ASIC中。”“

川崎泰子,研发部SoC技术部副总经理,奥林巴斯

AMD

“我们的微处理器设计团队不断创新,以提高整体性能和提供行业领先的性能每瓦。快速,Calypto的SLEC提供的全面验证增强了这个创造性过程,帮助我们的设计团队继续满足客户的加工需求。”“

尼哈尔·穆哈帕特拉,AMD

意法半导体

“随着弹射器的流动,RTL调试实际上消失了。C模型在其环境中得到了验证,并且从那里创建正确的旁构造RTL。这大大减少了验证工作。”“

朱塞佩·博纳诺,意法半导体

瑞萨

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

大田,瑞萨

弹射HLS平台

C/C++/SystemC合成HLS

让设计者使用工业标准ANSI C++或SystemC来描述ESL级别的功能意图。根据这些高级描述,Catapult自动生成高质量的RTL,从而大大缩短了硬件设计流程中的设计和验证。

HLS验证

使用弹射器平台的HLS验证有三类:

  • 自动/正式检查用户HLS目标C++/SystemC代码在合成前发现错误。
  • 基于仿真的验证比较用户C++/SystemC源与生成的RTL(包括覆盖和断言等度量)的功能。
  • C++/SystemC代码与生成的RTL等价性的形式化验证

低功耗HLS

该行业的第一个HLS工具,添加电力作为优化目标。通过利用Calypto现有的最佳类功率分析和优化技术,弹射器低功率提供跨功率的闭环优化,性能和区域,以解决功率感知设计的挑战。

闲聊γ 接触