验证  

高性能,可扩充的SoC验证和软件启动 

Synopsys Verification Continuum(连续验证)是全面的验证平台,由业内最快的引擎制成,用于虚拟原型开发、静态和形式验证、仿真、硬件仿真、基于 FPGA 的原型开发和调试。 连续验证在整个验证流程中,将基于 VCS 的统一编译用于类似于仿真的使用模型中,可加快设计启动,并实现仿真、硬件仿真和原型之间的无缝转换。 同时凭借 Verdi 进行统一调试,跨所有域和抽象层次实现连续调试,使调试效率大幅增加。 连续验证还提供了完备的验证计划和覆盖率方案,以及一个可用于多个平台的验证IP方案。这样的平台还进一步补充了低功耗验证技术和模拟/混合信号技术的集成和统一流程。

 

Verification Compiler
在一个产品中实现全面的一流验证
PDF 下载数据手册 (PDF)


VCS
高性能仿真


VCS AMS
混合信号验证解决方案


集成进VCS内的低功耗仿真器
有电压概念的一体化低功耗仿真
PDF 下载数据手册 (PDF)


验证 IP
Synopsys 验证 IP 协议


SpyGlass
早期的SoC设计分析技术


VC LP
先进的低功耗静态规则检查工具解决方案
PDF 下载数据手册 (PDF)


VC Formal
下一代形式验证解决方案
PDF 下载数据手册 (PDF)


VC Formal覆盖率分析器
针对覆盖率收敛的集成形式分析



ZeBu 服务器
数十亿门 ASIC 和 SoC 的硬件加速和硬件仿真


Certitude
功能验证品管系统
PDF 下载数据手册 (PDF)


HECTOR
下一代形式化模块级一致性检查器


BugScope
为RTL设计工程师提供了改进的功能覆盖率


Z01X 错误仿真
行业领先的汽车功能性安全验证解决方案
PDF下载数据手册 (PDF)


VCS AMS
混合信号验证方案


电路仿真
为数模混合验证提供性能,准确度和容量


可靠性和电路检查
晶体管级可靠性分析与电气规则检查


波形分析和调试
避免浪费仿真时间,更好的混合信号芯片…更快!


定制设计参数提取
统一的金牌标准参数提取引擎加速定制IC设计


VC LP
先进的低功耗静态检查解决方案
PDF 下载数据手册 (PDF)


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


形式等效性检查
全面的等效性检查


VC 形式覆盖分析器
针对覆盖率收敛的集成形式分析
PDF 下载数据手册 (PDF)


SpyGlass
早期的SoC设计分析技术


GenSys
强大的RTL修改工具

  • 调试
  • 设计和验证环节广泛使用的开放性调试解决方案more

Verdi
自动化调试系统
PDF 下载数据手册 (PDF)


Siloti
可视性自动化系统
PDF 下载数据手册 (PDF)


ProtoLink
探针可视仪
PDF 下载数据手册 (PDF)


 
VIP 使 SoC 设计加速运行时间、调试和覆盖率收敛


 
高性能 SoC 硬件仿真系统有助于工程师快速发现硬件和嵌入式软件的漏洞,从而缩短到芯片的时间


 
使开发者尽早进行芯片制造前的嵌入式软件开发和软硬件协同设计,从而缩短上市时间并降低昂贵的器件改版费用。


 
Synopsys 的虚拟原型开发解决方案包括 Virtualizer 工具包和业内最大的事务级模型组合。

主要优点
  • 业内最快的引擎,用于虚拟原型开发、静态和形式验证、仿真、硬件仿真、基于 FPGA 的原型开发和调试
  • 在整个验证流程中,将 VCS 统一编译应用于类似仿真的使用模型
  • 通过一致的调试用户体验,跨多个引擎进行 Verdi 统一调试,实现 3 倍的生产力
  • 用于支持高性能、可拓展、基于 FPGA 的硬件仿真和原型开发系统

验证挑战
移动和物联网 (IoT) 市场正在推动 SoC 复杂度及软件使用的显著增长,并不断增加上市时间方面的压力。 为了应对这些挑战,SoC 团队需要使用仿真、硬件仿真和原型开发等多种验证技术,而这些技术可以实现硅片设计前验证、硅片设计后验证和软件启动。 当前,完成设计启动和分离技术过渡需要数月,而跨域调试及支持大型软件团队的需求又使其进一步复杂化。

主要团队在硅片设计前验证、硅片设计后验证和软件启动中,将“左移”策略和并发操作应用于 SoC,从而缩短上市时间。 在整个流程中,Synopsys 的连续验证使上述具备顶级验证技术的左移策略与无缝设计启动、过渡和调试相统一。



NewsArticlesBlogsSuccess StoriesWhite PapersWebinarsVideosTraining Courses