中文字幕第二一区_久久久久在线视频_精品国产自在现线看久久_亚洲精品一区二区三区电影网

借助Pioneer-NTB,新思公司正在為第三方仿真器用戶帶來(lái)一個(gè)以其VCS Verilog仿真器為中心的“生態(tài)環(huán)境”。Pioneer-NTB是一種SystemVerilog測(cè)試平臺(tái)自動(dòng)化工具,支持?jǐn)嘌?、受限隨機(jī)測(cè)試生成和功能覆蓋。

Pioneer-NTB可以與目前流行的兩大仿真器協(xié)同工作,即明導(dǎo)資訊公司的ModelSim和Cadence設(shè)計(jì)系統(tǒng)公司的NC-Sim。使用新思Vera產(chǎn)品的用戶可以免費(fèi)獲得該工具,他們可以升級(jí)使用Pioneer-NTB,因?yàn)镻ioneer-NTB支持SystemVerilog和快速的代碼編譯。

“NTB能夠幫助用戶快速訪問(wèn)VCS和Vera環(huán)境?！毙滤脊井a(chǎn)品線經(jīng)理Tom Borgstrom指出,“它擴(kuò)大了SystemVerilog的使用范圍,使用任何設(shè)計(jì)語(yǔ)言或仿真器的用戶現(xiàn)在都可以使用SystemVerilog?！?

雖然Pioneer-NTB中的許多技術(shù)在新思的Vera產(chǎn)品中已經(jīng)獲得實(shí)現(xiàn),但卻存在許多本質(zhì)區(qū)別,Borgstrom介紹。首先,Vera只支持OpenVera語(yǔ)言,而Pioneer-NTB支持SystemVerilog和OpenVera兩種語(yǔ)言；Pioneer-NTB還允許設(shè)計(jì)師在VHDL和Verilog設(shè)計(jì)中使用SystemVerilog驗(yàn)證功能。

圖1: Pioneer-NTB提供測(cè)試平臺(tái)自動(dòng)化

另一個(gè)區(qū)別是Pioneer-NTB采用本地編譯代碼生成,因此其驗(yàn)證速度要比Vera快2倍,Borgstrom指出。

Pioneer-NTB所采用的引擎也早已應(yīng)用于新思的VCS仿真器中,Borgstrom強(qiáng)調(diào)。“我們將它們整合在一起向NC Sim和ModelSim用戶提供SystemVerilog測(cè)試平臺(tái)和斷言功能?！彼f(shuō)。

雖然SystemVerilog本身已經(jīng)支持?jǐn)嘌院蜏y(cè)試平臺(tái)生成,但僅靠語(yǔ)言是不夠的,Borgstrom指出?！笆聦?shí)上,用戶需要像約束解決器或功能覆蓋分析器這樣的引擎?！彼硎?。

此外,Borgstrom表示用戶需要一整套方法學(xué)。為此,新思公司將Pioneer-NTB同一本詳細(xì)的參考手冊(cè)一同交付給用戶,該手冊(cè)介紹了新思公司在過(guò)去數(shù)年間與ARM公司合作開(kāi)發(fā)的SystemVerilog參考方法。作為合作結(jié)晶的“SystemVerilog驗(yàn)證方法手冊(cè)”一書(shū)已于近日發(fā)布。

“這本書(shū)定義了一個(gè)SystemVerilog構(gòu)建模塊庫(kù),該模塊庫(kù)包含每個(gè)驗(yàn)證工程師所需的各種標(biāo)準(zhǔn)函數(shù)?！盉orgstrom介紹。書(shū)中還包括針對(duì)事務(wù)處理器和信道機(jī)制的標(biāo)準(zhǔn)構(gòu)建模塊,信道機(jī)制用于提供處理器間的接口。新思公司用于這些構(gòu)建模塊的源代碼將與VCS和Pioneer-NTB一同交付用戶使用。

該參考驗(yàn)證方法定義了一個(gè)分層測(cè)試平臺(tái)架構(gòu),不同抽象層之間相互隔離?！凹词乖赗TL完成之前,用戶都可以在更高層的測(cè)試平臺(tái)架構(gòu)上著手編寫代碼,并在事務(wù)級(jí)模型基礎(chǔ)上加以運(yùn)行?！盉orgstrom說(shuō),“一旦生成RTL,用戶可以在實(shí)際執(zhí)行中使用相同的測(cè)試平臺(tái)?！?

“我們定義了一個(gè)標(biāo)準(zhǔn)的仿真流程,為工程師提供了創(chuàng)建環(huán)境的框架?！盉orgstrom表示,“它就像一個(gè)公共鼓點(diǎn)一樣,所有的驗(yàn)證組件都被同步,因此方方面面都可以順利地協(xié)同工作?！?

Pioneer-NTB內(nèi)部的功能覆蓋引擎可以使用戶確定設(shè)計(jì)的哪些功能特性需要驗(yàn)證,然后評(píng)估這些特性是否已經(jīng)被仿真。Borgstrom介紹:“它能提供機(jī)器可執(zhí)行的驗(yàn)證計(jì)劃。”

Vera約束解決器也包含在Pioneer-NTB內(nèi)部,它接受用戶的約束條件,并產(chǎn)生受限的隨機(jī)激勵(lì)。

為了支持?jǐn)嘌?Pioneer-NTB提供了一個(gè)內(nèi)含50多個(gè)簡(jiǎn)單斷言檢查器的庫(kù),可以很方便地植入用戶的源代碼中。此外,斷言IP庫(kù)支持PCI、Amba AHB與APB、、AGP與SMIA等接口和協(xié)議標(biāo)準(zhǔn)。

Pioneer-NTB計(jì)劃于今年12月大規(guī)模交付使用,一年的許可證費(fèi)用為17,150美元。

作者:葛立偉