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

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

“NTB能夠幫助用戶快速訪問VCS和Vera環(huán)境。”新思公司產(chǎn)品線經(jīng)理Tom Borgstrom指出,“它擴大了SystemVerilog的使用范圍,使用任何設(shè)計語言或仿真器的用戶現(xiàn)在都可以使用SystemVerilog。”

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

圖1: Pioneer-NTB提供測試平臺自動化

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

Pioneer-NTB所采用的引擎也早已應(yīng)用于新思的VCS仿真器中,Borgstrom強調(diào)。“我們將它們整合在一起向NC Sim和ModelSim用戶提供SystemVerilog測試平臺和斷言功能。”他說。

雖然SystemVerilog本身已經(jīng)支持斷言和測試平臺生成,但僅靠語言是不夠的,Borgstrom指出。“事實上,用戶需要像約束解決器或功能覆蓋分析器這樣的引擎。”他表示。

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

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

該參考驗證方法定義了一個分層測試平臺架構(gòu),不同抽象層之間相互隔離。“即使在RTL完成之前,用戶都可以在更高層的測試平臺架構(gòu)上著手編寫代碼,并在事務(wù)級模型基礎(chǔ)上加以運行。”Borgstrom說,“一旦生成RTL,用戶可以在實際執(zhí)行中使用相同的測試平臺。”

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

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

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

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

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

作者:葛立偉