ay: block;">
憑借支持可驗證設(shè)計的新技術(shù),明導(dǎo)資訊(Mentor Graphics)將推出它的可擴展驗證平臺。該公司宣稱,這是業(yè)界首個全面支持Verilog 2001的驗證平臺,它可以生成用于仿真的處理級(transaction-level)測試平,并提供了與Mathworks公司Matlab和Simulink工具建立HDL鏈接的功能。
“現(xiàn)在,我們具備了前所未有的可擴展性和高性能。”明導(dǎo)資訊公司設(shè)計、驗證和測試部副總裁兼總經(jīng)理Robert Hum表示。他強調(diào),明導(dǎo)的驗證用戶現(xiàn)在可以工作在許多抽象級,從Matlab中的算法設(shè)計開始,直到無縫的軟/硬件協(xié)同仿真、Vstation模擬以及ModelSim HDL仿真。
ModelSim 5.8版首次增加了明導(dǎo)資訊對Accellera組織SystemVerilog 3.1標(biāo)準(zhǔn)的支持,其中包含Hum認為能反映生產(chǎn)力的特性,如文字描述、用戶自定義類型、枚舉數(shù)據(jù)類型、結(jié)構(gòu)與聯(lián)合、動態(tài)陣列、端口連接和接口等。
align=RIGHT VSPACE=12 HSPACE=12 ALT="圖:明導(dǎo)資訊的可擴展驗證平臺可以生成用于仿真的處理級測試平臺。">
ModelSim 5.8還全面支持SystemVerilog的前一版本Verilog 2001。許多Verilog用戶指出,供應(yīng)商對這項IEEE標(biāo)準(zhǔn)實現(xiàn)得不徹底。“據(jù)我所知,這是Verilog 2001首次得到全面的支持。”Hum表示。
然而,該工具尚不包括SystemVerilog 3.1聲明,但明導(dǎo)資訊計劃在2004年內(nèi)添加它們。與此同時,ModelSim 5.8增加了內(nèi)置的“聲明引擎”,它可與Accellera的屬性規(guī)范語言(PSL) 1.0版一起工作。該引擎將監(jiān)視聲明是否生效,然后通過圖形用戶接口(GUI)報告給設(shè)計人員。
“PSL與SystemVerilog 3.1的語義是一致的,但語法稍有不同。”Hum表示,“我們選擇了編譯PSL語法。今后,我們將編譯SystemVerilog 3.1,但目前還沒有實現(xiàn)。”
據(jù)他介紹,該平臺的另一個組件VStation Pro是從Ikos系統(tǒng)公司收購的Vstation產(chǎn)品線的下一代工具。該產(chǎn)品支持高達1.2億系統(tǒng)門的設(shè)計容量。但主要的新功能是它對VStation TBX的支持,TBX是為仿真提供處理級測試平臺的新產(chǎn)品。
“TBX使測試平臺具有可擴展性。”Hum表示,“與其它測試平臺技術(shù)相比,該技術(shù)能夠?qū)⑺俣忍岣?00到1,000倍。它可以接受HDL或C語言,而不僅是明導(dǎo)資訊的語言。”
TBX將行為代碼編譯進運行在VStation Pro上的測試平臺。它不發(fā)送引腳級信號,而是發(fā)送處理級數(shù)據(jù)結(jié)構(gòu)。“通常,速度取決于工作站與仿真器之間的鏈路。”Hum指出,“如果插入TBX,這條鏈路上的流量將會下降,因此仿真器等待工作站響應(yīng)的時間將隨之減少。”
最后,Link for ModelSim工具將ModelSim與Mathworks公司的Matlab和Simulink鏈接在一起,后兩種工具被廣泛用于DSP算法開發(fā)與仿真。Link for ModelSim允許設(shè)計人員在Matlab或Simulink中創(chuàng)建基于HDL代碼的軟件測試平臺,并根據(jù)原始規(guī)范來驗證代碼。因此,它允許Mathworks的用戶把HDL代碼集成到仿真中。
Link for ModelSim還可以與賽靈思的System Generator和Altera的DSP Builder一道使用。
ModelSim 5.8的起價為4,495美元。VStation Pro的起價為30萬美元。VStation TBX的報價與設(shè)計容量有關(guān)。Link for ModelSim由Mathworks公司負責(zé)銷售,起價為2,000美元。
作者:葛立偉
