新聞中心

EEPW首頁 > EDA/PCB > 新品快遞 > Synopsys發(fā)布Verification Compiler驗證編譯器使產(chǎn)能提升3倍

Synopsys發(fā)布Verification Compiler驗證編譯器使產(chǎn)能提升3倍

—— Synopsys發(fā)布VerificationCompiler驗證編譯器使產(chǎn)能提升3倍
作者: 時間:2014-03-24 來源:電子產(chǎn)品世界 收藏

         新思科技公司日前宣布:其Verification Compiler™驗證編譯器解決方案開始供貨,該款新產(chǎn)品代表了業(yè)內(nèi)為系統(tǒng)級芯片()驗證技術(shù)和驗證路線圖描繪的一幅誘人前景。Verification Compiler是一種將新一代驗證技術(shù)集成到一起的完整產(chǎn)品組合,其中包括先進調(diào)試、靜態(tài)和形式驗證、仿真、驗證IP以及覆蓋率收斂。將這些技術(shù)集成到一起實現(xiàn)了性能的5倍提升,同時調(diào)試效率也得到了大幅度的提高,使設(shè)計和驗證團隊用同一個產(chǎn)品就能創(chuàng)建一種具有完整功能的驗證流程。通過把新一代技術(shù)、集成化流程和獨特的并發(fā)驗證許可模型結(jié)合在一起,使Verification Compiler能夠?qū)⒄w產(chǎn)能提高3倍 —— 直接解決日益突出的上市時間挑戰(zhàn)。

本文引用地址:http://m.butianyuan.cn/article/235192.htm

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

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

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

  SoC驗證所需要的先進技術(shù)

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

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

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

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

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

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

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

  并發(fā)式驗證

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

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

  供貨

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

晶體管相關(guān)文章:晶體管工作原理


晶體管相關(guān)文章:晶體管原理


關(guān)鍵詞: Synopsys SoC ARM DSP Verdi3

評論


相關(guān)推薦

技術(shù)專區(qū)

關(guān)閉