[發明專利]驗證訪存操作的方法與系統以及驗證設備和存儲介質

有效

• 申請號: 202011401740.8
• 申請日: 2020-12-02
• 公開（公告）號: CN112416687B
• 公開（公告）日: 2022-07-12
• 發明（設計）人: 彭炳君;榮雪宇;陳元
• 申請（專利權）人: 海光信息技術股份有限公司
• 主分類號: G06F11/22
• 分類號: G06F11/22
• 代理公司: 北京市柳沈律師事務所 11105
• 代理人: 彭久云

1.一種驗證訪存操作的方法，包括：

訪存單元獲取待處理的目標訪存寫操作指令，進行處理并確定所述訪存單元的目標訪存寫操作指令對應的第一執行事務；

訪存寫操作參考模型模塊獲取與所述訪存單元的目標訪存寫操作指令相同的目標訪存寫操作指令，模擬進行處理并確定所述訪存寫操作參考模型模塊的目標訪存寫操作指令對應的第二執行事務；

將所述訪存單元輸出的所述第一執行事務和所述訪存寫操作參考模型模塊輸出的所述第二執行事務發送至訪存寫操作記分板；

所述訪存寫操作記分板將所述第一執行事務和所述第二執行事務進行比較，判斷兩者是否一致，以檢查驗證所述訪存單元的所述第一執行事務。

2.如權利要求1所述的驗證訪存操作的方法，其中，所述訪存單元獲取待處理的目標訪存寫操作指令，包括：

前端模型模塊向所述訪存單元發送訪存指令，基于所述訪存指令包括的初始訪存寫操作指令，所述訪存單元獲取所述目標訪存寫操作指令。

3.如權利要求2所述的驗證訪存操作的方法，其中，所述前端模型模塊向所述訪存單元發送訪存指令，基于所述訪存指令包括的初始訪存寫操作指令，所述訪存單元獲取所述目標訪存寫操作指令，包括：

通過所述前端模型模塊發送的所述訪存指令包括的初始訪存寫操作指令經過預處理，得到預處理后的訪存寫操作指令，所述訪存單元接收到所述預處理后的訪存寫操作指令，并將所述預處理后的訪存寫操作指令作為目標訪存寫操作指令。

4.如權利要求3所述的驗證訪存操作的方法，其中，所述訪存寫操作參考模型模塊獲取與所述訪存單元的目標訪存寫操作指令相同的目標訪存寫操作指令，包括：

所述訪存單元將所述預處理后的訪存寫操作指令反饋至所述前端模型模塊，所述前端模型模塊的狀態實時更新，

在所述預處理后的訪存寫操作指令退休之后，所述前端模型模塊將所述預處理后的訪存寫操作指令作為所述訪存寫操作參考模型模塊的目標訪存寫操作指令被發送至所述訪存寫操作參考模型模塊。

5.如權利要求2所述的驗證訪存操作的方法，其中，

在所述前端模型模塊向所述訪存單元發送訪存指令時，所述前端模型模塊同時向所述訪存寫操作參考模型模塊發送與所述訪存指令包括的初始訪存寫操作指令相同的另一初始訪存寫操作指令。

6.如權利要求5所述的驗證訪存操作的方法，其中，

所述訪存單元的目標訪存寫操作指令與所述訪存指令包括的初始訪存寫操作指令相同，所述訪存寫操作參考模型模塊的目標訪存寫操作指令與所述另一初始訪存寫操作指令相同；

或者，所述訪存單元的目標訪存寫操作指令與所述訪存指令包括的初始訪存寫操作指令不相同，所述訪存寫操作參考模型模塊的目標訪存寫操作指令與所述另一初始訪存寫操作指令不相同，其中，所述訪存指令包括的初始訪存寫操作指令經過預處理得到預處理后的訪存寫操作指令，所述訪存單元接收到所述預處理后的訪存寫操作指令并將所述預處理后的訪存寫操作指令作為目標訪存寫操作指令。

7.如權利要求1所述的驗證訪存操作的方法，其中，

所述訪存單元、所述訪存寫操作參考模型模塊、所述訪存寫操作記分板用于單一處理器或多核處理器的多個處理器核之一。

8.如權利要求1～7任一所述的驗證訪存操作的方法，其中，

在所述訪存單元將數據寫入存儲系統之前，將所述訪存單元輸出的所述第一執行事務和所述訪存寫操作參考模型模塊輸出的所述第二執行事務發送至訪存寫操作記分板。

9.如權利要求8所述的驗證訪存操作的方法，其中，

所述存儲系統包括一級數據緩存，和/或，存儲模型模塊，其中，所述存儲模型模塊配置為模擬二級數據緩存、三級數據緩存、四級數據緩存、主存中的一種或多種。