加州山景城2019年6月6日 /美通社/ -- 

亮點(diǎn)：

• Verdi的智能加載技術(shù)（通過VCS Unified Compile實現(xiàn)）帶來快五倍的設(shè)計加載和追蹤速度
• VC驗證IP通過VCS統(tǒng)一約束求解器技術(shù)實現(xiàn)高兩倍的仿真性能
• VC Formal測試平臺分析器應(yīng)用和Certitude的原生集成實現(xiàn)快10倍的測試平臺質(zhì)量評估和斷言
• 全新VC加速驗證IP，加上VCS和ZeBu的原生集成，可將仿真性能提高10至100倍

新思科技（Synopsys, Inc.，納斯達(dá)克股票代碼：SNPS）近日發(fā)布新版Verification Continuum^?平臺，將各種驗證工具進(jìn)行新的原生集成，實現(xiàn)高達(dá)五倍的驗證性能。Verification Continuum平臺基于新思科技開發(fā)的高速引擎（包括Virtualizer^?虛擬原型、SpyGlass^®靜態(tài)驗證、VC Formal^®形式驗證、VCS^®軟件仿真、ZeBu^®硬件加速仿真、HAPS^®原型、Verdi^®調(diào)試和VC驗證IP (VIP)）。日益增加的片上系統(tǒng)(SoC)復(fù)雜性和軟件內(nèi)容以及上市時間壓力對高效驗證平臺的需求更加緊迫。Verification Continuum的全新增強(qiáng)型原生集成實現(xiàn)了所有驗證引擎之間的性能提升，加快了復(fù)雜片上系統(tǒng)設(shè)計的上市。

Innovium工程設(shè)計副總裁Avinash Mani表示：“Innovium高度創(chuàng)新的生產(chǎn)就緒型TERALYNX^?數(shù)據(jù)中心以太網(wǎng)交換機(jī)芯片可實現(xiàn)每秒2兆兆比特至12.8兆兆比特的速度。為實現(xiàn)我們的遠(yuǎn)大目標(biāo)，依托新思科技VCS的業(yè)界領(lǐng)先性能以及用于以太網(wǎng)和源代碼測試套件的VC驗證IP來加快我們市場領(lǐng)先的交換機(jī)產(chǎn)品的流片計劃?！?/p>

天數(shù)智芯(Iluvatar)市場副總裁梁斌表示：“為了獲得競爭優(yōu)勢，我們需要全方位解決方案來改善驗證流程，并縮短高性能人工智能(AI)解決方案的上市時間。新思科技VC Formal控制和數(shù)據(jù)路徑應(yīng)用，加上VCS的原生編譯和Verdi的統(tǒng)一調(diào)試，使我們能夠在數(shù)分鐘內(nèi)發(fā)現(xiàn)無用代碼，并在一天內(nèi)檢驗復(fù)雜的128 x 128 MAC?！?/p>

新的原生集成

• 仿真和調(diào)試——新版Verdi提供通過VCS Unified Compile實現(xiàn)的智能加載技術(shù)，將Verdi設(shè)計加載速度提高五倍。此外，增強(qiáng)型原生多線程將文件寫出帶來的資源消耗降低50%；新的動態(tài)波形混疊技術(shù)使得FSDB文件大小縮小三倍。
• 靜態(tài)驗證、動態(tài)仿真和調(diào)試——SpyGlass和VCS Unified Compile的原生集成可實現(xiàn)DesignWare^® IP和加密IP設(shè)計的無縫讀入，較之前的IP黑盒顯著改善了易用性。此外，Verdi的Unified Debug接口與SpyGlass的集成使得整個驗證流程在調(diào)試過程中提供一致的用戶體驗。
• 形式化驗證和功能驗證——新版VC Formal可通過增強(qiáng)型引擎優(yōu)化和組合將性能提高兩倍。VC Formal測試平臺分析器應(yīng)用和Certitude^®功能驗證系統(tǒng)的原生集成可實現(xiàn)快10倍的測試平臺質(zhì)量評估和斷言。這可以通過一個智能故障注入（形式化屬性驗證）實現(xiàn)。
• 軟件仿真和驗證IP——VCS和VC驗證IP的原生集成可使仿真性能速度提高兩倍。這可以通過利用原生UVM技術(shù)和業(yè)界領(lǐng)先的約束求解器技術(shù)進(jìn)行VCS和VC VIP之間的優(yōu)化來實現(xiàn)。
• 加速VIP、軟件仿真和硬件加速仿真——設(shè)計和測試平臺的統(tǒng)一編譯以及支持信號級和事務(wù)級通信無縫混合的低延遲接口，加上VCS、ZeBu和加速VIP的原生集成，使得仿真速度較以前只有仿真的時候提高10至100倍。

新思科技芯片驗證事業(yè)部高級工程副總裁Ajay Singh表示：“新思科技Verification Continuum平臺基于業(yè)界領(lǐng)先的軟硬件驗證工具，提供新的原生集成，讓設(shè)計人員能夠加速驗證收斂。自推出該平臺以來，新思科技在驗證研發(fā)的大量投入兌現(xiàn)了我們致力于幫助用戶縮短先進(jìn)片上系統(tǒng)設(shè)計上市時間的承諾。”

上市 
Verification Continuum平臺定于2019年6月上市。

其他資源
有關(guān)Verification Continuum平臺的更多信息，請訪問：https://www.synopsys.com/verification.html

新思科技簡介
新思科技（Synopsys, Inc.，納斯達(dá)克股票代碼：SNPS）是眾多創(chuàng)新型公司的 Silicon to Software?（“芯片到軟件”）合作伙伴，這些公司致力于開發(fā)我們?nèi)粘Ｋ蕾嚨碾娮赢a(chǎn)品和軟件應(yīng)用。作為全球第15大軟件公司，新思科技長期以來一直是電子設(shè)計自動化(EDA)和半導(dǎo)體IP領(lǐng)域的全球領(lǐng)導(dǎo)者，并且在軟件安全和質(zhì)量解決方案方面也發(fā)揮著越來越大的領(lǐng)導(dǎo)作用。無論您是創(chuàng)建高級半導(dǎo)體的片上系統(tǒng)(SoC)設(shè)計人員，還是編寫需要最高安全性和質(zhì)量的應(yīng)用程序的軟件開發(fā)人員，新思科技都能夠提供您所需要的解決方案，幫助您推出創(chuàng)新性的、高質(zhì)量的、安全的產(chǎn)品。有關(guān)更多信息，請訪問www.synopsys.com。

編輯聯(lián)系人：
Camille Xu
新思科技
電郵：wexu@synopsys.com 

James Watts
新思科技
電郵：jwatts@synopsys.com