新思科技(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。