[發明專利]處理器驗證方法及相關產品

在審

• 申請號: 201910257926.1
• 申請日: 2019-04-01
• 公開（公告）號: CN110134580A
• 公開（公告）日: 2019-08-16
• 發明（設計）人: 田守政
• 申請（專利權）人: 深圳云天勵飛技術有限公司
• 主分類號: G06F11/36
• 分類號: G06F11/36
• 代理公司: 廣州三環專利商標代理有限公司 44202
• 代理人: 郝傳鑫;熊永強

本申請實施例提供了一種處理器驗證方法及相關產品，所述方法包括：獲取預設指令集；對所述指令集進行解析，得到驗證代碼；基于預設約束配置關系對所述驗證代碼進行編譯，得到匯編代碼；將所述匯編代碼分別輸入到預設參考模型和處理器，得到第一運算結果和第二運算結果；將所述第一運算結果與所述第二運算結果進行比對；在所述第一運算結果與所述第二運算結果之間的比對結果滿足第一預設條件時，生成覆蓋率報告；在所述覆蓋率報告滿足第二預設條件時，確認所述處理器驗證成功。本申請實施例可以提升處理器驗證的準確性。

技術領域

本申請涉及處理器技術領域，具體涉及一種處理器驗證方法及相關產品。

背景技術

AI(artificial intelligence，人工智能)處理器指令集是專門針對AI算法定制的一套指令集系統，包括主控單元指令集、算法指令集等，一般可以通過ISS(instructionset simulator，指令集仿真器仿真)、FPGA(field programmable gate array，現場可編程門陣列)、斷言等方式進行指令集的驗證。然而，現有驗證方式的準確性不高。

發明內容

本申請實施例提供了一種處理器驗證方法及相關產品，可以提升處理器驗證的準確性。

本申請實施例第一方面提供了一種處理器驗證方法，包括：

獲取預設指令集；

對所述指令集進行解析，得到驗證代碼；

基于預設約束配置關系對所述驗證代碼進行編譯，得到匯編代碼；

將所述匯編代碼分別輸入到預設參考模型和處理器，得到第一運算結果和第二運算結果；

將所述第一運算結果與所述第二運算結果進行比對；

在所述第一運算結果與所述第二運算結果之間的比對結果滿足第一預設條件時，生成覆蓋率報告；

在所述覆蓋率報告滿足第二預設條件時，確認所述處理器驗證成功。

可選地，對所述預設約束配置關系進行調整，包括：

通過所述比對結果確定所述第二運算結果中的目標差異化參數；

按照預設的差異化參數與約束配置關系調整參數之間的映射關系，確定所述目標差異化參數對應的目標約束配置關系調整參數；

根據所述目標約束配置關系調整參數對所述預設約束配置關系進行調整。

可選地，所述根據所述覆蓋率報告對所述預設約束配置關系進行調整，包括：

根據所述覆蓋率報告確定所述預設指令集中未被完全覆蓋的至少一條目標指令；

按照預設的指令與約束配置關系調整參數之間的映射關系，確定所述至少一條目標指令對應的至少一個目標約束配置關系調整參數，每一目標指令對應一個目標約束配置關系調整參數；

依據所述至少一個目標約束配置關系調整參數對所述預設約束配置關系進行調整。

本申請實施例第二方面提供了一種處理器驗證裝置，包括:

獲取單元，用于獲取預設指令集；

解析單元，用于對所述指令集進行解析，得到驗證代碼；

編譯單元，用于基于預設約束配置關系對所述驗證代碼進行編譯，得到匯編代碼；

運算單元，用于將所述匯編代碼分別輸入到預設參考模型和所述處理器，得到第一運算結果和第二運算結果；

比對單元，用于將所述第一運算結果與所述第二運算結果進行比對；