Mentor最新ESL工具助力大幅提升验证速度

明导公司(Mentor Graphics)日前宣布为其电子系统级(ESL)设计工具?D?DCatapult C Synthesis算法综合工具推出延伸产品。

这些延伸产品将使得Catapult C Synthesis工具能够自动创建SystemC处理程序级别模型和封装组件,允许设计人员在系统结构层次上快速探寻折衷方法,仿真他们的设计要比传统的支持SystemC的寄存器传输级(RTL)验证环境快20至100倍,比如明导公司的ModelSim。

明导公司设计创建和综合部总经理Simon Bloch表示:“纯ANSI C++算法综合与集成式SystemC验证环境的组合为电子系统级设计提供了强大的解决方案。现在,设计人员第一次拥有一种方法,能够轻松地从抽象的算法级实现‘金色源码’直至特定工艺的RTL,由于它能够生成SystemC模型,设计人员现在能够在系统结构上快速探寻折衷方案,对其设计进行验证,同时在整个流程中重新使用现有C++和SystemC测试基准。”

高通公司资深工程师Venkat Rangan则对Catapult C Synthesis验证延伸产品作出如下评价,“新近推出的Catapult C强化产品有望使SystemC模型创建这一极其耗费时间的流程实现自动化。自动生成SystemC模型在加速开展模块和系统级验证方面拥有巨大潜力,设计人员将能够以远远快于以往的速度开发更好的硬件。”

就传统做法而言,设计人员不得不通过人工方式将其C算法重新写成SystemC中,这是一个缓慢和辛苦的改进过程,要增加SystemC所必需的结构、排列和接口。与这种人工累进式设计改进相比,Catapult C Synthesis工具现在将这些硬件细节自动加入算法C++模型中,生成一个精确周期和位数的行为SystemC模型。

然后,硬件设计人员可以运用明导可扩展验证平台快速验证已经生成的模型。SystemC模型的接口拥有与Catapult C Synthesis生成的RTL相同的行为,但Catapult C仿真速度经过优化可以提高20-100倍。因此,设计人员可以更为迅速地探寻和验证系统结构的权衡,并以更快速度验证其优化的设计。

Catapult C Synthesis工具能够帮助设计人员将算法C++模型作为“金色源码”使用。这种工具运用接口综合与时序到结构的转换,自动生成SystemC或RTL硬件描述,无需更改原始的时序C++源码。目前,Catapult C Synthesis使用C++产生行为SystemC模型,其仿真速度高于RTL 20-100倍,而将来发布版本则有意产生更加抽象的事务处理级SystemC模型,其仿真速度将高于RTL 1000倍。

该工具的接口综合技术将有助于生成事务处理器,在定时RTL和序列或事务测试环境之间实现同步。这一联接允许设计人员为整个设计流程使用序列C++或基于SystemC的测试环境。Catapult C Synthesis还可以生成一种测试基准,对 C++输入与RTL输出自动进行对比,在仿真失配情况的下为指定的同步点提供调试信息。这些能力允许设计人员使用或重新使用序列C++说明和测试基准,在不修改算法模型的情况下,生成特定工艺的硬件,实现C++ 金色源码的愿望。

Catapult C Synthesis工具的定价目前在8.9-27.5万美元之间。用户可以通过短期许可和永久许可获得该工具。