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

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

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

雖然Pioneer-NTB中的許多技術在新思的Vera產品中已經獲得實現,但卻存在許多本質區別,Borgstrom介紹。首先,Vera只支持OpenVera語言,而Pioneer-NTB支持SystemVerilog和OpenVera兩種語言；Pioneer-NTB還允許設計師在VHDL和Verilog設計中使用SystemVerilog驗證功能。

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

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

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

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

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

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

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

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

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

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

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

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

作者:葛立偉