新思科技(Synopsys, Inc.,纳斯达克股票代码:SNPS)近日发布新版Verification Continuum™平台,将各种验证工具进行新的原生集成,实现高达五倍的验证性能。Verification Continuum平台基于新思科技开发的高速引擎(包括Virtualizer™虚拟原型、SpyGlass®静态验证、VC Formal®形式验证、VCS®软件仿真、ZeBu®硬件加速仿真、HAPS®原型、Verdi®调试和VC验证IP (VIP))。日益增加的片上系统(SoC)复杂性和软件内容以及上市时间压力对高效验证平台的需求更加紧迫。Verification Continuum的全新增强型原生集成实现了所有验证引擎之间的性能提升,加快了复杂片上系统设计的上市。
Innovium工程设计副总裁Avinash Mani表示:“Innovium高度创新的生产就绪型TERALYNX™数据中心以太网交换机芯片可实现每秒2兆兆比特至12.8兆兆比特的速度。为实现我们的远大目标,依托新思科技VCS的业界领先性能以及用于以太网和源代码测试套件的VC验证IP来加快我们市场领先的交换机产品的流片计划。”
天数智芯(Iluvatar)市场副总裁梁斌表示:“为了获得竞争优势,我们需要全方位解决方案来改善验证流程,并缩短高性能人工智能(AI)解决方案的上市时间。新思科技VC Formal控制和数据路径应用,加上VCS的原生编译和Verdi的统一调试,使我们能够在数分钟内发现无用代码,并在一天内检验复杂的128 x 128 MAC。”
新的原生集成
仿真和调试——新版Verdi提供通过VCS Unified Compile实现的智能加载技术,将Verdi设计加载速度提高五倍。此外,增强型原生多线程将文件写出带来的资源消耗降低50%;新的动态波形混叠技术使得FSDB文件大小缩小三倍。
静态验证、动态仿真和调试——SpyGlass和VCS Unified Compile的原生集成可实现DesignWare® IP和加密IP设计的无缝读入,较之前的IP黑盒显著改善了易用性。此外,Verdi的Unified Debug接口与SpyGlass的集成使得整个验证流程在调试过程中提供一致的用户体验。
形式化验证和功能验证——新版VC Formal可通过增强型引擎优化和组合将性能提高两倍。VC Formal测试平台分析器应用和Certitude®功能验证系统的原生集成可实现快10倍的测试平台质量评估和断言。这可以通过一个智能故障注入(形式化属性验证)实现。
软件仿真和验证IP——VCS和VC验证IP的原生集成可使仿真性能速度提高两倍。这可以通过利用原生UVM技术和业界领先的约束求解器技术进行VCS和VC VIP之间的优化来实现。
加速VIP、软件仿真和硬件加速仿真——设计和测试平台的统一编译以及支持信号级和事务级通信无缝混合的低延迟接口,加上VCS、ZeBu和加速VIP的原生集成,使得仿真速度较以前只有仿真的时候提高10至100倍。
新思科技芯片验证事业部高级工程副总裁Ajay Singh表示:“新思科技Verification Continuum平台基于业界领先的软硬件验证工具,提供新的原生集成,让设计人员能够加速验证收敛。自推出该平台以来,新思科技在验证研发的大量投入兑现了我们致力于帮助用户缩短先进片上系统设计上市时间的承诺。”
上市
Verification Continuum平台定于2019年6月上市。
新思科技简介
新思科技(Synopsys, Inc.,纳斯达克股票代码:SNPS)是众多创新型公司的 Silicon to Software™(“芯片到软件”)合作伙伴,这些公司致力于开发我们日常所依赖的电子产品和软件应用。作为全球第15大软件公司,新思科技长期以来一直是电子设计自动化(EDA)和半导体IP领域的全球领导者,并且在软件安全和质量解决方案方面也发挥着越来越大的领导作用。无论您是创建高级半导体的片上系统(SoC)设计人员,还是编写需要最高安全性和质量的应用程序的软件开发人员,新思科技都能够提供您所需要的解决方案,帮助您推出创新性的、高质量的、安全的产品。有关更多信息,请访问www.synopsys.com。