MentorGraphicsCatapult平台将设计启动到验证收敛的总体时间缩短50%
来源:/rencaiqiaopin/24.html    发布时间:2017-09-18 13:37:48    次浏览   


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

上一页: [人才招聘]    下一页:TUV莱茵深圳zigbee测试实验室投入使用,提供一站式本地化服务