俄勒冈州威尔逊维尔，2016 年 6 月 7 日 –MentorGraphics 公司（纳斯达克代码：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 以实现标准化。