[發明專利]用于重傳部件模塊級驗證的報文自動比對正確性檢查方法及裝置

有效

• 申請號: 202010127084.0
• 申請日: 2020-02-28
• 公開（公告）號: CN111352781B
• 公開（公告）日: 2023-07-04
• 發明（設計）人: 羅健美;楊俊;龐守雷;李永進;王英
• 申請（專利權）人: 飛騰信息技術有限公司
• 主分類號: G06F11/22
• 分類號: G06F11/22;G06F9/48
• 代理公司: 湖南兆弘專利事務所(普通合伙) 43008
• 代理人: 譚武藝

本發明公開了一種用于重傳部件模塊級驗證的報文自動比對正確性檢查方法及裝置，重傳接收端的實施步驟包括：對需要重傳的動態請求報文通過映射隊列分配一個空閑請求隊列且將對應的重傳計數器加1；對靜態請求報文通過查詢分配到的映射隊列分配信息，將該靜態請求的報文關鍵信息與分配的空閑請求隊列中所有有效項記錄的關鍵信息進行對比，如果比對成功則將對應的空閑請求隊列清空并將有效位清零、重傳計數器減1；最終若所有的空閑請求隊列清空且有效位清零、重傳計數器均已歸零則判定重傳部件已通過模塊級驗證。本發明具有計算量小、占用資源少、定位迅速、檢測效率高、通用性好的特點，可加快重傳部件的驗證速度和設計收斂。

技術領域

本發明涉及眾核處理器驗證領域，具體涉及一種用于重傳部件模塊級驗證的報文自動比對正確性檢查方法及裝置。

背景技術

隨著集成物理尺寸的縮小，眾核處理器的設計復雜度不斷增加，面市時間不斷縮短。功能驗證已成為設計開發周期中的瓶頸。眾核處理器驗證通常采用層次化的方法進行，以保證驗證結果的精確度和工作效率。在自底向上的驗證方法中，子模塊是整個系統的基礎，子模塊的正確性是最終整個設計正確工作的基礎。

在集成電路技術的迅猛發展和應用需求的強力推動下，基于片上網絡的眾核處理器體系結構發展日益成熟。如何提供高效的存儲管理和可靠的互連通信協議，是設計和實現高性能眾核處理器的重要內容。重傳機制主要用于實現無差錯的鏈路層通信，在數據傳輸系統中應用十分廣泛，意義重大。在采用二維Mesh（2D-Mesh）片上網絡的眾核處理器中，重傳部件的主要原理是基于后退N幀重傳協議的重傳機制，采用請求自動重傳思想和信用動態重傳的流控方式，對于在網絡層傳輸過程中丟失的請求報文進行自動重發，以實現片上網絡節點之間報文的高效高可靠收發控制。

發明內容

本發明要解決的技術問題：針對現有技術的上述問題，提供一種用于重傳部件模塊級驗證的報文自動比對正確性檢查方法及裝置，本發明具有計算量小、占用資源少、定位迅速、檢測效率高、通用性好的特點，可加快重傳部件的驗證速度和設計收斂。

為了解決上述技術問題，本發明采用的技術方案為：

一種用于重傳部件模塊級驗證的報文自動比對正確性檢查方法，所述重傳部件由重傳發送端和重傳接收端組成，且重傳接收端的實施步驟包括：

1）預先構造一組空閑請求隊列、一組重傳計數器和一個映射隊列；

2）當有從重傳發送端發來的動態請求報文在到達重傳接收端之后被丟棄需要被重傳時，跳轉執行步驟3）；當需要被重傳的靜態請求報文從重傳發送端重新發到重傳接收端時，跳轉執行步驟5）；如果測試結束，跳轉執行步驟6）；

3）通過映射隊列分配一個空閑請求隊列且每次通過映射隊列分配空閑請求隊列后將對應的重傳計數器加1；

4）將動態請求的報文關鍵信息存入分配到的空閑請求隊列中并設置有效位，并將動態請求的重傳發送端id號存入分配到的映射隊列中進行標記；否則跳轉執行步驟2）；

5）通過查詢分配到的映射隊列分配信息，將該靜態請求的報文關鍵信息與分配的空閑請求隊列中所有有效項記錄的關鍵信息進行對比，如果比對成功則將對應的空閑請求隊列清空并將有效位清零、重傳計數器減1；否則跳轉執行步驟2）；

6）判斷所有的空閑請求隊列清空且有效位清零、重傳計數器均已歸零是否已經成立，如果成立則判定重傳部件已通過模塊級驗證；否則，判定重傳部件未通過模塊級驗證。