Mentor Graphics 公司发布最新版的 Catapult® 平台

2016-06-07 18:03:07来源: EEWORLD
2016年6月7日,Mentor Graphics 公司发布了最新版的 Catapult® 平台。与传统手工编码的寄存器传输级 (RTL) 相比,该平台将硬件设计的时间从设计启动到 RTL 验证收敛缩短了 50%。虽然现有的高级综合 (HLS) 方法可将设计和验证生产率提高多达 10 倍,但是完成最终 RTL 验证所需的时间还是可能会抵消这些优势。而此次发布的 Catapult 平台结合 HLS 与成熟可靠的验证方法以及新工具,其中,新工具能够在 C++/SystemC 级验证收敛(实现 C++/SystemC signoff 的重大步骤)的基础上实现快速且可预测 RTL 验证收敛。
 
NVIDIA® 在其最近的案例研究报告《工作需要更智慧而非更努力:NVIDIA 通过高级综合缩小设计复杂性带来的差距》中,公布了其在 HLS 设计和验证上取得的成功。“通过采用Mentor Graphics Catapult 的 C++ 高级综合 (HLS) 流程,NVIDIA 能够将代码简化 5 倍,将回归测试所需的 CPU 数量减少 1,000 倍,并且运行多达 1,000 倍的更多测试,从而为他们的设计获得更高的功能覆盖率。同时 HLS 缩短了 50% 的设计时间……”该报告作者 Frans Sijstermans 和 JC Li 如是写道。“视频团队对 HLS 应用的成功使得全公司范围内的所有新 NVIDIA 设计均采用 HLS。所以,当需要更加智慧而不是更加努力地工作时,HLS 是一个不错的选择。”
 
业内第一的 HLS (C++/SystemC) 形式属性检查器
该最新版本的 Catapult 引入了业内第一并基于 Catapult 形式的 C 属性检查器 (CPC) 工具。该工具可在综合之前自动寻找程序错误,可节省数日或数周的验证调试时间。CPC 在用户的 HLS C++/SystemC 模型 (HLSM) 中使用形式分析来自动识别并在形式上验证难以发现的问题,如内存未初始化、0 做除数以及数组越界错误等。除自动检查之外,CPC 还可在形式上验证用户写入的断言和覆盖点,为可提供 HLSM 综合验证的动态仿真进行补充。
 
加快 100% RTL 覆盖率
最新版本的 Catapult 还通过消除 RTL 冗余、添加新的 RTL 测试管脚并将 HLSM 中的用户断言和覆盖点综合为 SVA(SystemVerilog 断言),实现更简便、快捷以及预测性更强的 RTL 验证收敛。为更快地实现功能覆盖率收敛,Catapult 还可生成完整 RTL 测试环境,与原始 HLSM 相比,在该测试环境中可重复使用用户的 C++/SystemC 测试平台,从而自动验证仿真结果是否相等。为更快获得 100% RTL 结构/代码覆盖率,Catapult 与 Questa® CoverCheck 工具形成无缝协作流程,快速寻找可安全忽略的无法访问的代码并为之自动生成弃权。而对于可访问的代码,流程可让用户快速了解生成的波形中,什么是 HLSM 所需要的,从而快速清理代码中存在的隐患。此方法可在 HLSM 验证之后数天,让验证达到 100% RTL 覆盖收敛。
 
实现 HLS 标准和生态系统
此次发布的 Catapult HLS 通过全力支持新 Accellera SystemC 可综合子集,推进了 HLSM 语言的标准化。除此之外,Catapult 还支持任意长度的算法 C (AC) 数据类型、精确位整数以及定点数据类型,提供形式和动态工具所需的静态位精度和快速仿真时间。如今,Mentor 已使 AC 数据类型开源并与 SystemC 综合标准 100% 兼容。同时,Mentor 会将它们提供给 Accellera 以实现标准化。
 
关于 C++/SystemC signoff 的 HLS 愿景
“随着以更少资源实现更多功能的压力不断增大,设计流程变更以求大幅提高生产率已势在必行,”Mentor Graphics Calypto 系统部总经理 Badru Agarwala 说道,“我们的愿景是完成 HLS 生态系统,为 RTL 设计人员提供他们熟悉的工具和方法,让其实现 SystemC/C++ signoff。而获得 100% RTL 覆盖率、HLS 标准以及业内第一的 C++/SystemC 形式属性工具是达成这一愿景的主要步骤。”

关键字:Mentor  Graphics  Catapult®  平台

编辑:杜红卫 引用地址:http://www.eeworld.com.cn/mndz/article_2016060726621.html
本网站转载的所有的文章、图片、音频视频文件等资料的版权归版权所有人所有,本站采用的非本站原创文章及图片等内容无法一一联系确认版权者。如果本网所选内容的文章作者及编辑认为其作品不宜公开自由传播,或不应无偿使用,请及时通过电子邮件或电话通知我们,以迅速采取适当措施,避免给双方造成不必要的经济损失。
论坛活动 E手掌握
微信扫一扫加关注
论坛活动 E手掌握
芯片资讯 锐利解读
微信扫一扫加关注
芯片资讯 锐利解读
推荐阅读
全部
Mentor
Graphics
Catapult®
平台

小广播

独家专题更多

富士通铁电随机存储器FRAM主题展馆
富士通铁电随机存储器FRAM主题展馆
馆内包含了 纵览FRAM、独立FRAM存储器专区、FRAM内置LSI专区三大部分内容。 
走,跟Molex一起去看《中国电子消费品趋势》!
走,跟Molex一起去看《中国电子消费品趋势》!
 
带你走进LED王国——Microchip LED应用专题
带你走进LED王国——Microchip LED应用专题
 
电子工程世界版权所有 京ICP证060456号 京ICP备10001474号 电信业务审批[2006]字第258号函 京公海网安备110108001534 Copyright © 2005-2016 EEWORLD.com.cn, Inc. All rights reserved