《电子技术应用》

Mentor Graphics Catapult 平台将设计启动到验证收敛的 总体时间缩短 50%

新版本是实现 C++/SystemC signoff 的重大步骤

2016/6/7 22:25:00

  俄勒冈州威尔逊维尔,2016 年 6 月 7 日 – Mentor Graphics 公司(纳斯达克代码:MENT)今天发布了最新版的 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 以实现标准化。


继续阅读>>