1: 什么是STL?
A: STL是套接口事務語言(socket transactionlanguage)的首字母縮寫。STL是一種靈活的匯編級的事務描述語言,CoreCreator QuickCore模型通過編譯STL來確定在它的OCP主機接口應該發(fā)起怎樣的事務,來檢驗OCP從機的內(nèi)核設計。
2: 我是不是不得不用STL來進行QuickCore模型OCP測試?
A: STL和基于任務接口的Verilog都可以用來開發(fā)QuickCore模型OCP測試。OCP2.0規(guī)范和CoreCreator4.0版本提供支持Verilog任務接口。
3: 如果我加入OCP-IP,我能得到什么軟件?
A: 你會得到叫做“CoreCreator”的軟件。這實際上是一套程序。它包含一個圖形用戶接口,也含有用來分解圖表文件為人工閱讀表格的程序。CoreCreator也包含快速建模核心,它是OCP總線功能模塊。CoreCreator的datasheet可以在我們的網(wǎng)站www.ocpip.org 找到,或者聯(lián)系admin@ocpip.org.
4: CoreCreator支持什么樣的RTL和仿真語言?
A: CoreCreator同時支持Verilog和VHDL,也支持所有流行的仿真器,像Verilog-XL, NCVerilog, VCS and ModelSim。
5: CoreCreator能用在基于Linux的系統(tǒng)嗎?
A: CoreCreator支持的默認平臺是SunSolaris.但是,這些工具在Linux平臺下同樣可用。
6: 怎么做OCP一致性測試?
A: 當使用CoreCreator來執(zhí)行OCP接口,OCP監(jiān)視器就會產(chǎn)生活動的日志,它通過OCPCHECK2這個程序的仿真來執(zhí)行。這個OCPCHECK2程序分析該OCP活動,檢測該活動是否遵守OCP協(xié)議規(guī)范。因此,在仿真過程中,任何OCP協(xié)議違例都會被立即報告。然而,在仿真完成以后,這個OCPCHECK2的工具也能夠作為仿真后的處理步驟,這些處理步驟以單獨執(zhí)行模式來運行。
7: 我怎么知道我的核心是不是OCP保持一致?
A: 目前沒有一個測試向量兼容集。因此,你應該構(gòu)建一個STL文件和/或 Verilog任何接口文件,來執(zhí)行所有與OCP操作兼容的核心。為了使用CoreCreator如上述進行設計測試—寫典型的核心行為testbench,使用OCP檢查器運行仿真。任何協(xié)議的偏差都會在核心的OCPCHECK輸出文件中標簽出來。
8: OCP協(xié)議檢查器檢查一些什么內(nèi)容?
A: 它監(jiān)測所有的通過OCP接口的行為,并且檢查OCP協(xié)議所有的方面。在OCP接口中,可以使用STL或者Verilog任務接口來驅(qū)動OCP行為,OCP協(xié)議檢查器將檢查這個OCP行為是否滿足OCP規(guī)范中定義的協(xié)議所有的要求。
9: 如果我的橋通過了OCP檢查,是不是表示它與OCP保持一致?
A: OCPCHECK可以證實這種互動,然而,沒有經(jīng)過檢測的情況未必是這樣。不要企圖去確認所有可能的OCP信號序列是被執(zhí)行的。因此,STL或者Verilog任務接口將被用來生成足夠大量的OCP交易,來徹底執(zhí)行這個橋接口的所有不同OCP能力。
10: 針對一致性測試,OCP-IP長期計劃是什么?
A: 當前,OCP-IP有一個自鑒定的程序,在這個程序中,會員可以獲得賣方的鑒定,并且使用我們的CoreCreator產(chǎn)品來決定一致性。我們已經(jīng)審查過目前的工業(yè)測試,并將制定有效的基于英語的規(guī)范集,以允許通過自主或者通常的功能驗證方法來進行驗證。很多的EDA供應商已經(jīng)對使用他們的商業(yè)產(chǎn)品來制定這些規(guī)范集顯示出了興趣。
了解更多關(guān)于OCP在仿真&測試方面的知識,請訪問http://www.ocpip.org/chinese/faqs/simtest。