[發(fā)明專利]一種通信協(xié)議的報(bào)文路徑信息在混合語言驗(yàn)證系統(tǒng)中的提取方法

在審

• 申請(qǐng)?zhí)枺?/td>: 201310440282.2
• 申請(qǐng)日: 2013-09-25
• 公開（公告）號(hào): CN103530446A
• 公開（公告）日: 2014-01-22
• 發(fā)明（設(shè)計(jì)）人: 陳繼承;甘小偉;周恒釗;張峰;趙元;符云越
• 申請(qǐng)（專利權(quán)）人: 浪潮電子信息產(chǎn)業(yè)股份有限公司
• 主分類號(hào): G06F17/50
• 分類號(hào): G06F17/50
• 代理公司: 暫無信息
• 代理人: 暫無信息

1.一種通信協(xié)議的報(bào)文路徑信息在混合語言驗(yàn)證系統(tǒng)中的提取方法，其特征在于具體步驟如下：

（1）在混合語言驗(yàn)證系統(tǒng)中進(jìn)行全系統(tǒng)協(xié)議仿真，首先在C++（SystemC?）語言驗(yàn)證部分加入?yún)f(xié)議仿真報(bào)文路徑信息提取模塊，提取模塊的主要信息有Clump號(hào)，仿真起止時(shí)間，報(bào)文傳輸類型，發(fā)送與接收節(jié)點(diǎn)，報(bào)文傳輸ID號(hào)，延時(shí)信息等，采用SC_METHOD進(jìn)程監(jiān)控報(bào)文傳輸，不同Clump節(jié)點(diǎn)使用不同的sc_fifo容器記錄報(bào)文傳輸信息；

（2）在混合語言驗(yàn)證系統(tǒng)中進(jìn)行全系統(tǒng)協(xié)議仿真時(shí)，NCVerilog語言驗(yàn)證部分加入?yún)f(xié)議仿真報(bào)文路徑信息提取模塊，模塊的主要信息有Clump號(hào)，仿真起止時(shí)間，報(bào)文傳輸類型，發(fā)送與接收節(jié)點(diǎn)，報(bào)文傳輸ID號(hào)，延時(shí)信息等，提取全系統(tǒng)協(xié)議仿真報(bào)文在RTL級(jí)?NC（Node?Controller，節(jié)點(diǎn)控制器）NC0-NC1背靠背之間傳輸?shù)穆窂叫畔ⅲ材軘U(kuò)展到多個(gè)NC間的傳輸；

（3）將以上信息提取模塊中的仿真時(shí)間同比例縮小調(diào)整，然后再將報(bào)文在C++（SystemC）驗(yàn)證系統(tǒng)中傳輸?shù)慕K止時(shí)間加固定值value1，將報(bào)文在NCVerilog驗(yàn)證系統(tǒng)中傳輸?shù)钠鹗紩r(shí)間減value2,終止時(shí)間加value3；

（4）混合語言驗(yàn)證系統(tǒng)將全系統(tǒng)協(xié)議仿真時(shí)產(chǎn)生的協(xié)議仿真報(bào)文路徑信息統(tǒng)，C++（SystemC）驗(yàn)證系統(tǒng)和Verilog驗(yàn)證系統(tǒng)的報(bào)文路徑信息提取后統(tǒng)一輸出到同一文檔中，文檔類型為.out，通過協(xié)議報(bào)文仿真路徑可視化圖形子系統(tǒng)生成的.exe可執(zhí)行文件調(diào)用a.out文檔，顯示報(bào)文路徑圖形，通過生成的報(bào)文路徑信息圖形進(jìn)行查看報(bào)文傳輸路徑。

2.根據(jù)權(quán)利要求1所屬的方法，其特征在于，C++（SystemC）語言驗(yàn)證部分包括以下內(nèi)容：

（1）在C++（SystemC）語言驗(yàn)證環(huán)境中加入?yún)f(xié)議仿真報(bào)文路徑信息提取模塊，信息中Clump號(hào)設(shè)置為0、1；?0表示報(bào)文在Clump0內(nèi)的BFM0、BFM1和?RTL?NC0間傳輸，1表示報(bào)文在Clump1內(nèi)的BFM2、BFM3和?RTL?NC0間傳輸；

（2）仿真起始時(shí)間，報(bào)文傳輸類型，發(fā)送與接收節(jié)點(diǎn)，報(bào)文傳輸ID號(hào)，延時(shí)信息等取混合語言驗(yàn)證系統(tǒng)中的實(shí)際值，仿真時(shí)間輸出實(shí)際仿真時(shí)間；

（3）采用兩個(gè)SC_METHOD進(jìn)程監(jiān)控報(bào)文傳輸，一個(gè)監(jiān)控Clump0，另一個(gè)監(jiān)控Clump1，Clump0與Clump1分別使用不同的sc_fifo容器記錄報(bào)文傳輸信息，記錄信息中有Clump號(hào)、報(bào)文仿真起始時(shí)間、報(bào)文傳輸類型、發(fā)送與接收節(jié)點(diǎn)、報(bào)文傳輸ID號(hào)和延時(shí)信息，報(bào)文仿真結(jié)束時(shí)間不記錄在內(nèi)，報(bào)文仿真結(jié)束時(shí)間去每條報(bào)文結(jié)束時(shí)寫向.out文檔時(shí)刻的時(shí)間；

（4）報(bào)文路徑信息在仿真過程中輸出到a.out文檔里；

（5）NCVerilog語言驗(yàn)證部分加入?yún)f(xié)議仿真報(bào)文路徑信息提取模塊，主要信息中Clump號(hào)設(shè)置為4；4是表示報(bào)文在Clump之間的傳輸，即是NC0?與NC1間通過NI?的傳輸；

（6）仿真起始和結(jié)束時(shí)間，報(bào)文傳輸類型，發(fā)送與接收節(jié)點(diǎn)，報(bào)文傳輸ID號(hào)，延時(shí)信息取混合語言驗(yàn)證系統(tǒng)中的實(shí)際值，仿真時(shí)間輸出實(shí)際仿真時(shí)間；

（7）根據(jù)報(bào)文種類，設(shè)置不同的報(bào)文傳輸通道監(jiān)控，每一種傳輸通道在NC0?與NC1背靠背傳輸過程中只允許通過與通道類型相同的特定報(bào)文，利用每種報(bào)文類型在對(duì)應(yīng)的傳輸通道NI處是采用先進(jìn)先出的原則：即是說NC0發(fā)向NC1的報(bào)文pack1，通道類型為channel1，只要經(jīng)過了NI通道，那么在某一時(shí)刻N(yùn)C1的通道channel1接收的一個(gè)由NI發(fā)送過來的報(bào)文，那么此報(bào)文肯定為報(bào)文pack1，在整個(gè)NC節(jié)點(diǎn)控制上報(bào)文傳輸不滿足（3）所述情況，但在NI中滿足；

（8）報(bào)文路徑信息在仿真過程中輸出到a.out文檔里；

（9）在混合語言驗(yàn)證仿真系統(tǒng)中進(jìn)行全系統(tǒng)RTL級(jí)協(xié)議仿真后，生成a.out文檔，通過協(xié)議報(bào)文仿真路徑可視化圖形子系統(tǒng)生成的.exe文件調(diào)用a.out文檔，生成的協(xié)議報(bào)文路徑示意圖，此圖比較實(shí)際的反應(yīng)了協(xié)議報(bào)文仿真時(shí)間和報(bào)文路徑信息；

（10）在協(xié)議報(bào)文路徑示意圖的基礎(chǔ)的上，修改混合語言驗(yàn)證仿真系統(tǒng)的仿真時(shí)間，將仿真時(shí)間同比例縮小調(diào)整，然后再將報(bào)文在C++（SystemC）驗(yàn)證系統(tǒng)中傳輸?shù)慕K止時(shí)間加固定值value1，將報(bào)文在NCVerilog驗(yàn)證系統(tǒng)中傳輸?shù)钠鹗紩r(shí)間減value2,終止時(shí)間加value3，生成的協(xié)議報(bào)文路徑示意圖，此圖更利于可視化，適合協(xié)議規(guī)則檢查和驗(yàn)證。