ay: block;">
借助Pioneer-NTB,新思公司正在為第三方仿真器用戶帶來一個(gè)以其VCS Verilog仿真器為中心的“生態(tài)環(huán)境”。Pioneer-NTB是一種SystemVerilog測試平臺(tái)自動(dòng)化工具,支持?jǐn)嘌浴⑹芟揠S機(jī)測試生成和功能覆蓋。
Pioneer-NTB可以與目前流行的兩大仿真器協(xié)同工作,即明導(dǎo)資訊公司的ModelSim和Cadence設(shè)計(jì)系統(tǒng)公司的NC-Sim。使用新思Vera產(chǎn)品的用戶可以免費(fèi)獲得該工具,他們可以升級使用Pioneer-NTB,因?yàn)镻ioneer-NTB支持SystemVerilog和快速的代碼編譯。
“NTB能夠幫助用戶快速訪問VCS和Vera環(huán)境。”新思公司產(chǎn)品線經(jīng)理Tom Borgstrom指出,“它擴(kuò)大了SystemVerilog的使用范圍,使用任何設(shè)計(jì)語言或仿真器的用戶現(xiàn)在都可以使用SystemVerilog。”
雖然Pioneer-NTB中的許多技術(shù)在新思的Vera產(chǎn)品中已經(jīng)獲得實(shí)現(xiàn),但卻存在許多本質(zhì)區(qū)別,Borgstrom介紹。首先,Vera只支持OpenVera語言,而Pioneer-NTB支持SystemVerilog和OpenVera兩種語言；Pioneer-NTB還允許設(shè)計(jì)師在VHDL和Verilog設(shè)計(jì)中使用SystemVerilog驗(yàn)證功能。
圖1: Pioneer-NTB提供測試平臺(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測試平臺(tái)和斷言功能。”他說。
雖然SystemVerilog本身已經(jīng)支持?jǐn)嘌院蜏y試平臺(tái)生成,但僅靠語言是不夠的,Borgstrom指出。“事實(shí)上,用戶需要像約束解決器或功能覆蓋分析器這樣的引擎。”他表示。
此外,Borgstrom表示用戶需要一整套方法學(xué)。為此,新思公司將Pioneer-NTB同一本詳細(xì)的參考手冊一同交付給用戶,該手冊介紹了新思公司在過去數(shù)年間與ARM公司合作開發(fā)的SystemVerilog參考方法。作為合作結(jié)晶的“SystemVerilog驗(yàn)證方法手冊”一書已于近日發(fā)布。
“這本書定義了一個(gè)SystemVerilog構(gòu)建模塊庫,該模塊庫包含每個(gè)驗(yàn)證工程師所需的各種標(biāo)準(zhǔn)函數(shù)。”Borgstrom介紹。書中還包括針對事務(wù)處理器和信道機(jī)制的標(biāo)準(zhǔn)構(gòu)建模塊,信道機(jī)制用于提供處理器間的接口。新思公司用于這些構(gòu)建模塊的源代碼將與VCS和Pioneer-NTB一同交付用戶使用。
該參考驗(yàn)證方法定義了一個(gè)分層測試平臺(tái)架構(gòu),不同抽象層之間相互隔離。“即使在RTL完成之前,用戶都可以在更高層的測試平臺(tái)架構(gòu)上著手編寫代碼,并在事務(wù)級模型基礎(chǔ)上加以運(yùn)行。”Borgstrom說,“一旦生成RTL,用戶可以在實(shí)際執(zhí)行中使用相同的測試平臺(tái)。”
“我們定義了一個(gè)標(biāo)準(zhǔn)的仿真流程,為工程師提供了創(chuàng)建環(huán)境的框架。”Borgstrom表示,“它就像一個(gè)公共鼓點(diǎn)一樣,所有的驗(yàn)證組件都被同步,因此方方面面都可以順利地協(xié)同工作。”
Pioneer-NTB內(nèi)部的功能覆蓋引擎可以使用戶確定設(shè)計(jì)的哪些功能特性需要驗(yàn)證,然后評估這些特性是否已經(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è)簡單斷言檢查器的庫,可以很方便地植入用戶的源代碼中。此外,斷言IP庫支持PCI、Amba AHB與APB、、AGP與SMIA等接口和協(xié)議標(biāo)準(zhǔn)。
Pioneer-NTB計(jì)劃于今年12月大規(guī)模交付使用,一年的許可證費(fèi)用為17,150美元。
作者:葛立偉
