omniture

新思科技通過(guò)升級(jí)的Verification Continuum平臺(tái)提升領(lǐng)先地位

工具間新的原生集成實(shí)現(xiàn)高五倍的驗(yàn)證性能
Synopsys, Inc.
2019-06-06 08:00 16119

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

亮點(diǎn):

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

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

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

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

新的原生集成

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

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

上市 
Verification Continuum平臺(tái)定于2019年6月上市。

其他資源
有關(guān)Verification Continuum平臺(tái)的更多信息,請(qǐng)?jiān)L問(wèn):https://www.synopsys.com/verification.html

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

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

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

消息來(lái)源:Synopsys, Inc.
相關(guān)股票:
NASDAQ:SNPS
China-PRNewsire-300-300.png
全球TMT
微信公眾號(hào)“全球TMT”發(fā)布全球互聯(lián)網(wǎng)、科技、媒體、通訊企業(yè)的經(jīng)營(yíng)動(dòng)態(tài)、財(cái)報(bào)信息、企業(yè)并購(gòu)消息。掃描二維碼,立即訂閱!
collection