静态&形式验证

静态和形式验证软件的连接

先进的静态和形式化验证

下一代技术来发现漏洞早在设计周期,加快根本原因分析。

下一代静态和形式化验证解决方案

manbet万博官网Synopsys的VC正式™,VC LP™,VC望远镜™和望远镜®工具使得设计师和验证工程师能够快速分析和检查RTL设计在设计流程非常早期的,无需进行复杂的设置,测试平台或激励。这样就可以发现并模拟之前固定的很多bug,使得仿真更快和更有效,并降低整体成本,时间和精力。manbet万博官网Synopsys的望远镜和VC正式的解决方案是建立在下一代数据库和引擎提供的容量和性能要求来验证规模最大,最复杂的设计。此外,VC正式和VC LP提供统一设计的读取和共同的外观和感觉与编译器,TCL这样的设计支持,实现快速和容易的采用和优秀的易于使用和调试。manbet万博官网新思科技提供全面的咨询服务,以加快采用这些技术以及专家推动这些技术为客户的生产设计。