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

有效

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

本公開提供一種驗證訪存操作的方法與系統以及驗證設備和存儲介質，該方法包括：訪存單元獲取待處理的目標訪存寫操作指令，進行處理并確定訪存單元的目標訪存寫操作指令對應的第一執行事務；訪存寫操作參考模型模塊獲取與訪存單元的目標訪存寫操作指令相同的目標訪存寫操作指令，模擬進行處理并確定訪存寫操作參考模型模塊的目標訪存寫操作指令對應的第二執行事務；將訪存單元輸出的第一執行事務和訪存寫操作參考模型模塊輸出的第二執行事務發送至訪存寫操作記分板；訪存寫操作記分板將第一執行事務和第二執行事務進行比較，判斷兩者是否一致，以檢查驗證訪存單元的第一執行事務。本公開實現對訪存單元執行寫操作指令的各種行為機制的檢查驗證。

技術領域

本公開的實施例涉及一種驗證訪存操作的方法與系統以及驗證設備和存儲介質。

背景技術

隨著集成電路工藝水平以及計算機體系結構技術的不斷發展，處理器的性能在過去的幾十年中呈指數級的增長，伴隨而來的是處理器設計規模以及復雜度也快速增加。隨之而來就是驗證的難度急劇增加。

高性能處理器核的驗證方法的形成取決于以下幾個方面：

(1)處理器核的架構發展變化，比如指令集架構；

(2)處理器核的微架構發展，處理器的微架構是在不斷的優化提升；

(3)驗證方法學的發展，比如UVM驗證方法學。

由于高性能處理器的架構和微架構非常復雜，要進行充分驗證必須要通過有效的方法進行快速驗證，盡快收斂。

發明內容

本公開的實施例提供了一種驗證訪存操作的方法與系統以及驗證設備和存儲介質，實現了對訪存單元執行寫操作指令的各種行為機制的檢查驗證。

本公開至少一實施例提供了一種驗證訪存操作的方法，包括：

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

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

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

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

例如，在本公開至少一實施例提供的一種驗證訪存操作的方法中，所述訪存單元獲取待處理的目標訪存寫操作指令，包括：

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

例如，在本公開至少一實施例提供的一種驗證訪存操作的方法中，所述前端模型模塊向所述訪存單元發送訪存指令，基于所述訪存指令包括的初始訪存寫操作指令，所述訪存單元獲取所述目標訪存寫操作指令，包括：

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

例如，在本公開至少一實施例提供的一種驗證訪存操作的方法中，所述訪存寫操作參考模型模塊獲取與所述訪存單元的目標訪存寫操作指令相同的目標訪存寫操作指令，包括：

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