功能验证 

业界领先的高性能 RTL 验证技术加快创新速度 

当前 SoC 设计规模的增加和复杂性的提高使验证面临的挑战不断加剧。 应对这些挑战,有赖于先进的技术和方法学来确保设计拥有最高的质量。 Synopsys 的功能验证解决方案紧密集成业界最佳技术,帮助设计人员快速轻松地定位设计缺陷,显著提高极其复杂设计的质量,实现一次投片成功的目标。这些工具包括VCS(主要 SoC 团队采用的功能验证解决方案)、VCS Xprop用来对X相关仿真和调试提供不定态传递的支持、Verdi(针对设计和验证的业界标准调试平台)、ZeBu(业内硬件仿真器中性能和容量的领先者)、VC验证 IP(业内下一代 VIP)、 VCS NLPVC LP (提供集成的低功耗仿真和规则检查功能) 、 VC Formal Coverage Analyzer (提供集成的形式分析和覆盖率收敛功能) 、Certitude(提供整体的验证测试集质量评估和调试功能) 、 VC Formal (提供一下代的属性检查, SoC连接性检查和序列的等效性检查功能)、HECTOR (提供了事务级准确的C/C++/SystemC和RTL之间的功能等效性检查功能)。

 


 
在单一产品中提供了业界最全面的 RTL 验证解决方案
PDF下载数据手册

  • VCS Xprop
  • 用于不定态仿真和调试,对不定态传播的支持more


 
一个智能的有电压概念的仿真引擎,它可以理解电压的波形特性并且可以支持电源状态、电源转化和转换序列的覆盖率分析。
PDF下载数据手册


 
VIP 可简化测试平台的开发,提供更佳的覆盖率,显著改善仿真运行性能


 
先进的静态分析技术可以在RTL描述里一针见血地指出结构、编码风格和一致性的问题

  • VC LP
  • 先进的低功耗静态规则检查方案more




 
十亿逻辑门多用户 ASIC 和 SoC 硬件仿真


 
功能验证质量管理系统
PDF下载数据手册

  • HECTOR
  • 下一代模块级一致性形式化检查工具more

 
无需开发测试平台、断言或覆盖率,即可为独立开发的多个模型,或者为持续设计改进所需的无遗漏验证,提供高性能的检查。

  • BugScope
  • 为RTL设计工程师改善设计的功能验证more

 
全芯片级的断言综合产品,借助了设计及测试平台的信息来自动地产生断言和功能覆盖的属性


  • 在单一产品中支持高性能和高容量仿真、先进测试平台自动化、断言验证、覆盖率分析和 SystemVerilog
  • 更高效的解决方案,在更少时间内查找到更多缺陷
  • 基于行业标准,确保您在验证上的投资安全


NewsArticlesBlogsSuccess StoriesWhite PapersWebinarsVideosTraining Courses