下一代的創(chuàng)新軟件為完整驗(yàn)證流程提供革命性的技術(shù)支持

亮點(diǎn)：

· 包括靜態(tài)和形式驗(yàn)證的新一代驗(yàn)證技術(shù)，使性能提升了5倍

· 將仿真、靜態(tài)和形式驗(yàn)證，驗(yàn)證IP(VIP)、調(diào)試以及覆蓋率技術(shù)完整地集成到同一個(gè)產(chǎn)品中，提高了性能和產(chǎn)能

· 建在易于使用的Verdi3™調(diào)試平臺(tái)上全新的、先進(jìn)的SoC調(diào)試功能提高了調(diào)試效率

· 完整的低功耗驗(yàn)證功能，擁有自帶的低功耗仿真、X-傳遞(X-propagation)仿真、新一代低功耗靜態(tài)校驗(yàn)以及低功耗形式驗(yàn)證

· 將ARM® AMBA® 4 AXI4™和AMBA5 CHI互連、以太網(wǎng)、MIPI、PCIe等等一系列技術(shù)的驗(yàn)證IP組合，與仿真和調(diào)試功能集成在一起，實(shí)現(xiàn)了最高的性能和產(chǎn)能

· 并發(fā)性驗(yàn)證許可使整體生產(chǎn)率提高了3倍

為加速芯片和電子系統(tǒng)創(chuàng)新而提供軟件、知識(shí)產(chǎn)權(quán)(IP)及服務(wù)的全球性領(lǐng)先供應(yīng)商新思科技公司(Synopsys, Inc.，納斯達(dá)克股票市場代碼：SNPS)日前宣布：其Verification Compiler™驗(yàn)證編譯器解決方案開始供貨，該款新產(chǎn)品代表了業(yè)內(nèi)為系統(tǒng)級(jí)芯片(SoC)驗(yàn)證技術(shù)和驗(yàn)證路線圖描繪的一幅誘人前景。Verification Compiler是一種將新一代驗(yàn)證技術(shù)集成到一起的完整產(chǎn)品組合，其中包括先進(jìn)調(diào)試、靜態(tài)和形式驗(yàn)證、仿真、驗(yàn)證IP以及覆蓋率收斂。將這些技術(shù)集成到一起實(shí)現(xiàn)了性能的5倍提升，同時(shí)調(diào)試效率也得到了大幅度的提高，使SoC設(shè)計(jì)和驗(yàn)證團(tuán)隊(duì)用同一個(gè)產(chǎn)品就能創(chuàng)建一種具有完整功能的驗(yàn)證流程。通過把新一代技術(shù)、集成化流程和獨(dú)特的并發(fā)驗(yàn)證許可模型結(jié)合在一起，使Verification Compiler能夠?qū)⒄w產(chǎn)能提高3倍 —— 直接解決日益突出的SoC上市時(shí)間挑戰(zhàn)。

“驗(yàn)證復(fù)雜度正以快于摩爾定律的速度不斷增長，”NVIDIA公司負(fù)責(zé)GPU工程高級(jí)副總裁Jonah Alben表示：“為了應(yīng)對(duì)這一點(diǎn)，業(yè)界需要諸如靜態(tài)和形式驗(yàn)證等新一代的驗(yàn)證技術(shù)，同時(shí)還需要更好的集成化流程，這種流程可降低投資在不同驗(yàn)證方法上的成本。Synopsys的Verification Compiler提供了一幅美好的前景，其潛在發(fā)展可滿足這些需求，同時(shí)將驗(yàn)證生產(chǎn)力提升到了一個(gè)新的水平，并將繼續(xù)推動(dòng)支持產(chǎn)業(yè)創(chuàng)新的開放接口。”

“Verification Compiler為驗(yàn)證描繪了全新的前景，”Cavium公司負(fù)責(zé)工程的企業(yè)副總裁Anil Jain說到：“我們正面臨驗(yàn)證領(lǐng)域內(nèi)的一個(gè)轉(zhuǎn)折點(diǎn)，我們相信必然到來的修正措施不僅源于新的技術(shù)和大量的集成，而且也源于可以提供一個(gè)SoC驗(yàn)證流程所需要的所有技術(shù)的一種創(chuàng)新訪問模式。通過Verification Compiler，Synopsys正在提供一種使這種遠(yuǎn)景變?yōu)楝F(xiàn)實(shí)的產(chǎn)品。”

“Altera的SoC是一些在行業(yè)中集成度最高的異構(gòu)計(jì)算平臺(tái)，它們將多核ARM處理器系統(tǒng)、浮點(diǎn)DSP模塊、高帶寬I/O和高性能的可編程邏輯結(jié)合在一個(gè)晶片上，”Altera公司負(fù)責(zé)IC工程的副總裁Ty Garibay表示道：“由于我們將SoC遷移到了集成在英特爾14納米三柵極3D晶體管工藝上的第三代64位架構(gòu)，我們使用的設(shè)計(jì)和驗(yàn)證工具必須實(shí)現(xiàn)無縫的操作運(yùn)行和溝通，使我們能夠利用通過統(tǒng)一的編譯器和調(diào)試流程在RTL、UVM和嵌入式軟件域內(nèi)進(jìn)行仿真和調(diào)試。Verification Compiler的推出是一項(xiàng)重大進(jìn)展，將支持我們的設(shè)計(jì)團(tuán)隊(duì)去顯著提高產(chǎn)能。”

SoC驗(yàn)證所需要的先進(jìn)技術(shù)

隨著移動(dòng)通信和物聯(lián)網(wǎng)推動(dòng)著電子技術(shù)向前不斷發(fā)展，先進(jìn)SoC的開發(fā)在驗(yàn)證的復(fù)雜性、新的功率效率要求、不斷增加的軟件容量以及嚴(yán)苛的上市時(shí)間等方面面臨壓力呈指數(shù)般增長。要實(shí)現(xiàn)這些復(fù)雜SoC的驗(yàn)證收斂就需要結(jié)合多種技術(shù)，包括先進(jìn)的調(diào)試、靜態(tài)和形式驗(yàn)證、低功耗驗(yàn)證、驗(yàn)證IP以及覆蓋率收斂。

為了在驗(yàn)證領(lǐng)域中應(yīng)對(duì)這一具有挑戰(zhàn)性的局面，Verification Compiler提供了一整套新一代技術(shù)，包括形式驗(yàn)證、SoC的連通性檢查、全SoC級(jí)時(shí)鐘域交叉(CDC)檢查、X-傳遞仿真、集成的低功耗仿真和先進(jìn)的驗(yàn)證規(guī)劃和管理等。Verification Compiler還包括一整套Synopsys的新一代驗(yàn)證IP，其中包括相應(yīng)的測試套件，全部被集成在其中以用于先進(jìn)的調(diào)試和高性能仿真。通過將這些技術(shù)集成到同一個(gè)產(chǎn)品之中，Verification Compiler使SoC設(shè)計(jì)和驗(yàn)證團(tuán)隊(duì)能夠更好地解決SoC驗(yàn)證所面臨的不斷增長的技術(shù)和進(jìn)度挑戰(zhàn)。

新一代靜態(tài)和形式驗(yàn)證

Verification Compiler用新一代靜態(tài)和形式驗(yàn)證技術(shù)解決了驗(yàn)證復(fù)雜SoC時(shí)巨大的容量挑戰(zhàn)，與其他任何現(xiàn)有解決方案相比，其性能和容量都提升了3倍到5倍。這項(xiàng)新技術(shù)包括形式屬性檢查、低功耗靜態(tài)檢查、CDC檢查、SoC連接檢查、先進(jìn)的lint和序列化等效性檢查。Verification Compiler的靜態(tài)和形式驗(yàn)證功能與Synopsys Design Compiler®和IC Compiler™使用模型和流程完全兼容。

更高的調(diào)試效率

Verification Compiler的調(diào)試功能使用了Synopsys作為行業(yè)事實(shí)標(biāo)準(zhǔn)的調(diào)試平臺(tái)Verdi3技術(shù)。Verification Compiler采用了所有Verdi3的最新調(diào)試技術(shù)，包括許多創(chuàng)新的調(diào)試功能，使調(diào)試效率得到大幅度提升。這些新功能包括交互式測試平臺(tái)(UVM-aware)調(diào)試、事務(wù)級(jí)調(diào)試、硬件/軟件調(diào)試、功率感知調(diào)試和協(xié)議感知調(diào)試，這些功能都建立在統(tǒng)一的、一致的并且易于使用的環(huán)境之上。Verification Compiler通過將這些先進(jìn)的調(diào)試功能與仿真、VIP、形式驗(yàn)證以及覆蓋率緊密地集成在一起，進(jìn)一步大幅度地提升了調(diào)試效率。

Synopsys Verdi3調(diào)試平臺(tái)將繼續(xù)作為獨(dú)立的產(chǎn)品供貨。Verdi3是一個(gè)開放的平臺(tái)，能夠通過快速信號(hào)數(shù)據(jù)庫(FSDB)以及Verdi互操作性的應(yīng)用(VIA)與其它驗(yàn)證流程集成。Verdi3將繼續(xù)全力支持市場上重要的仿真、硬件加速和形式驗(yàn)證產(chǎn)品。

并發(fā)式驗(yàn)證

當(dāng)今的SoC驗(yàn)證流程需要跨越不同地域的多個(gè)團(tuán)隊(duì)同時(shí)使用各種驗(yàn)證技術(shù)。而且，流程上不同位置所要求的技術(shù)關(guān)注重點(diǎn)也不相同。這類訪問瓶頸問題極大地影響了驗(yàn)證效率、成本以及上市時(shí)間。為了解決這些瓶頸問題，每個(gè)Verification Compiler許可包括三個(gè)獨(dú)立的并發(fā)按鍵：一個(gè)按鍵用于所有的靜態(tài)和形式技術(shù);一個(gè)按鍵用于與仿真相關(guān)的技術(shù)(包括所有VIP);一個(gè)按鍵用于所有的調(diào)試技術(shù)。這三個(gè)按鍵可以被同一個(gè)用戶同時(shí)并列使用，以提高個(gè)人的產(chǎn)能，或者它們可以被同一家公司的不同成員獨(dú)立使用。這種靈活性使設(shè)計(jì)團(tuán)隊(duì)能夠同時(shí)執(zhí)行多個(gè)驗(yàn)證功能，顯著地提高了驗(yàn)證產(chǎn)能。

“多年來，我們一直與許多客戶在其最復(fù)雜的驗(yàn)證挑戰(zhàn)方面密切合作，”Synopsys公司高級(jí)副總裁兼驗(yàn)證業(yè)務(wù)部總經(jīng)理Manoj Gandhi表示：“在過去的幾年中，我們已經(jīng)建立了一個(gè)包括各種領(lǐng)先驗(yàn)證軟件技術(shù)的強(qiáng)大的產(chǎn)品組合。Verification Compiler通過將這些技術(shù)集成到同一個(gè)產(chǎn)品中，而把他們推向一個(gè)新的高度，從而具有了無可比擬的性能、功能以及產(chǎn)能，并且為將來的更大發(fā)展奠定了基礎(chǔ)。”

供貨

Verification Compiler現(xiàn)已提供給有限的一些客戶，并將于2014年12月全面上市。