① 新思科技通過升級的Verification Continuum平台提升領先地位
-工具間新的原生集成實現高五倍的驗證性能
亮點：
• Verdi的智能載入技術（通過VCS Unified Compile實現）帶來快五倍的設計載入和追蹤速度
• VC驗證IP通過VCS統一約束求解器技術實現高兩倍的模擬性能
• VC Formal測試平台分析器應用和Certitude的原生集成實現快10倍的測試平台質量評估和斷言
• 全新VC加速驗證IP，加上VCS和ZeBu的原生集成，可將模擬性能提高10至100倍
新思 科技 （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平台基於業界領先的軟硬體驗證工具，提供新的原生集成，讓設計人員能夠加速驗證收斂。自推出該平台以來，新思 科技 在驗證研發的大量投入兌現了我們致力於幫助用戶縮短先進片上系統設計上市時間的承諾。」