加利福尼亞州山景城——2012年3月14日——全球領(lǐng)先的電子器件和系統(tǒng)設(shè)計(jì)、驗(yàn)證和制造軟件及知識(shí)產(chǎn)權(quán)(IP)供應(yīng)商新思科技有限公司(Synopsys, Inc.， 納斯達(dá)克股票市場(chǎng)代碼：SNPS)日前宣布：推出基于全新VIPER架構(gòu)的DiscoveryTM 系列驗(yàn)證知識(shí)產(chǎn)權(quán)(Verification IP，簡(jiǎn)稱VIP)。它完全采用SystemVerilog語(yǔ)言編寫，并對(duì)UVM、VMM和OVM方法學(xué)提供原生性支持;因此Discovery VIP為加快并簡(jiǎn)化最復(fù)雜系統(tǒng)級(jí)芯片(SoC)設(shè)計(jì)的驗(yàn)證工作提供了內(nèi)在性能、易用性及可擴(kuò)展性。Discovery VIP系列包括協(xié)議分析器Protocol Analyzer，即一個(gè)獨(dú)特的協(xié)議感知糾錯(cuò)環(huán)境。Discovery VIP支持所有主流的仿真器，并提供超過(guò)其他商用VIP多達(dá)4倍的性能;其配置、覆蓋率和測(cè)試開(kāi)發(fā)能力，可用于提高IP和SoC產(chǎn)能。下一代的VIPER架構(gòu)在以協(xié)議為中心的驗(yàn)證和SoC層驗(yàn)證領(lǐng)域內(nèi)為未來(lái)的創(chuàng)新奠定了基礎(chǔ)。

　　“我們是Synopsys公司VIP產(chǎn)品的多年用戶，對(duì)其質(zhì)量、性能、功能和能力非常滿意，”Cavium 有限公司負(fù)責(zé)網(wǎng)絡(luò)及通信事業(yè)部IC工程的副總裁Bruce Fishbein表示：“由于我們的設(shè)計(jì)和我們的驗(yàn)證環(huán)境的復(fù)雜程度達(dá)到新高度， Discovery VIP架構(gòu)所帶來(lái)的愿景和發(fā)展藍(lán)圖將使我們能夠應(yīng)對(duì)SoC 驗(yàn)證的下一波挑戰(zhàn)?！?/p>

　　隨著領(lǐng)先的SoC設(shè)計(jì)中都包含了更復(fù)雜的各種協(xié)議，VIP已經(jīng)成為驗(yàn)證環(huán)境的一個(gè)重要組成部分，并使工程師能夠在緊張的項(xiàng)目進(jìn)度中達(dá)到他們的覆蓋率目標(biāo)。VIP提供各種芯片上和芯片外的功能模型，如ARM? AMBA?、PCI Express、USB、MIPI、HDMI 和以太網(wǎng)等。驗(yàn)證工程師使用這些模型在流片前來(lái)測(cè)試所有的SoC接口，使他們能夠驗(yàn)證一個(gè)接口是否符合所公布的標(biāo)準(zhǔn)。

　　百分百的SystemVerilog語(yǔ)言，帶有原生的UVM、VMM和OVM支持

　　不同于其他商用化的VIP，Discovery VIP完全采用SystemVerilog語(yǔ)言編寫，在一個(gè)采用了另一種不同語(yǔ)言的原始實(shí)現(xiàn)周圍，也無(wú)須任何的封裝或者方法學(xué)擴(kuò)展。Discovery VIP采用了原生地支持通用驗(yàn)證方法學(xué)(UVM，Universal Verification Methodology)、驗(yàn)證方法學(xué)手冊(cè)(VMM，Verification Methodology Manual)和開(kāi)放式驗(yàn)證方法學(xué)(OVM，Open Verification Methodology)的架構(gòu)，而不需要方法學(xué)級(jí)別的互操作性封裝、或者在外層之下的翻譯及重新映射。這不僅消除了不必要的性能開(kāi)銷，而且還提供了其他內(nèi)在性好處。這些好處包括在所有主流仿真器之間的可移植性和在SoC環(huán)境中方便地集成，同時(shí)還有VIP糾錯(cuò)、覆蓋率規(guī)劃和管理的能力和功能。

　　“為了響應(yīng)對(duì)更高性能和功率效率的需求，我們現(xiàn)看到行業(yè)中廣泛而快速地采用AMBA 4 AXI4?和ACE?協(xié)議，以支持可持續(xù)不斷的、多樣化的、以及多處理器SoC芯片，”ARM公司處理器部戰(zhàn)略營(yíng)銷經(jīng)理William Orme表示：“我們支持Synopsys針對(duì)AMBA4 AXI4和 ACE協(xié)議所做的驗(yàn)證IP開(kāi)發(fā)，并已經(jīng)為一致性和互操作性測(cè)試提供了參考模型。我們期待繼續(xù)與Synopsys緊密合作以滿足我們共同客戶的需求?！?/p>

　　借助Protocol Analyzer進(jìn)行高效、協(xié)議感知糾錯(cuò)

　　隨著協(xié)議復(fù)雜度的日益增加，糾錯(cuò)已經(jīng)成為當(dāng)前功能驗(yàn)證中最困難且耗費(fèi)時(shí)日的部分。Discovery VIP系列中擁有的Synopsys協(xié)議分析器Protocol Analyzer提供了以協(xié)議為中心的糾錯(cuò)和智能可視化。這些特殊的功能讓工程師們能夠快速了解協(xié)議活動(dòng)、識(shí)別瓶頸所在、并去除不符合預(yù)期的行為。

　　VIPER架構(gòu)

　　Discovery VIP系列基于Synopsys全新的VIPER架構(gòu)，該架構(gòu)已經(jīng)從最根本開(kāi)始就進(jìn)行了全面的打造，目標(biāo)是增強(qiáng)的VIP性能、可配置性、可移植性、糾錯(cuò)、覆蓋率和一致性管理及可擴(kuò)展性、以及可擴(kuò)展能力。大量VIPER的功能和協(xié)議正確性校驗(yàn)來(lái)源于采用SystemVerilog語(yǔ)言的一種分層化的協(xié)議架構(gòu)，它采用了所有方法學(xué)的最佳實(shí)踐，包括UVM、VMM和OVM。其所有圖層都可見(jiàn)，因此提供了完整的協(xié)議驗(yàn)證控制能力。驗(yàn)證工程師既能夠如其驗(yàn)證計(jì)劃要求的那樣工作在最高的一層，也能夠在最底層植入錯(cuò)誤進(jìn)行自我檢查。

　　VIPER架構(gòu)提供了追蹤以協(xié)議為中心的仿真信息的能力，以提供帶有時(shí)間軸同步到RTL波形的協(xié)議級(jí)分析視圖和其他視圖。該架構(gòu)能夠完全被配置到特定的協(xié)議配置上，并包括諸如從預(yù)先定義序列中修剪不適用的運(yùn)行時(shí)間配置等多種功能。VIPER架構(gòu)也是高度可擴(kuò)展的，可容納被測(cè)器件(DUT)額外的、獨(dú)有的功能，如植入錯(cuò)誤模式、覆蓋率采樣和其他功能。

　　“協(xié)議驗(yàn)證已經(jīng)成為SoC驗(yàn)證的一個(gè)至關(guān)重要的部分，對(duì)產(chǎn)品的成本及上市時(shí)間有著重要的意義，”新思科技高級(jí)副總裁兼驗(yàn)證業(yè)務(wù)部總經(jīng)理Manoj Gandhi表示：“Synopsys已經(jīng)看到對(duì)下一代驗(yàn)證IP的需求，用以提升糾錯(cuò)、性能及SoC集成的易用性。我們發(fā)布的新一代VIP架構(gòu)，對(duì)業(yè)界應(yīng)對(duì)不斷增加的SoC驗(yàn)證挑戰(zhàn)至關(guān)重要?！?/p>