[發明專利]驗證方法及相關設備

在審

• 申請號: 201911399702.0
• 申請日: 2019-12-30
• 公開（公告）號: CN113127019A
• 公開（公告）日: 2021-07-16
• 發明（設計）人: 田守政
• 申請（專利權）人: 深圳云天勵飛技術有限公司
• 主分類號: G06F8/65
• 分類號: G06F8/65;G06F21/44
• 代理公司: 廣州三環專利商標代理有限公司 44202
• 代理人: 熊永強

1.一種驗證方法，其特征在于，應用于電子設備，所述電子設備包括：系統級芯片，所述方法包括：

接收芯片更新請求，依據所述芯片更新請求對所述系統級芯片執行更新操作，得到待驗證系統級芯片；

接收源數據，依據所述源數據生成配置代碼，所述配置代碼包括：軟件配置代碼和硬件配置代碼；

依據所述配置代碼運行所述待驗證系統級芯片得到第一結果，獲取所述預設的參考模型運行所述源數據得到的第二結果；

比對所述第一結果與所述第二結果得到驗證結果。

2.根據權利要求1所述的方法，其特征在于，所述依據所述源數據生成配置代碼，包括：

將所述源數據輸入預設的源數據解析器，所述源數據解析器用于對所述源數據執行文本解析操作，得到所述源數據對應的軟件配置文本和硬件配置文本；

依據所述軟件配置文本與所述硬件配置文本生成所述配置代碼。

3.根據權利要求2所述的方法，其特征在于，所述依據所述軟件配置文本與所述硬件配置文本生成所述配置代碼，包括：

獲取預設的代碼腳本；

將所述代碼腳本和所述軟件配置文本輸入預設的代碼產生器，以生成所述軟件配置代碼，并將所述代碼腳本和所述硬件配置文本輸入所述代碼產生器，以生成所述硬件配置代碼。

4.根據權利要求1所述的方法，其特征在于，所述依據所述配置代碼運行所述待驗證系統級芯片，包括：

對所述配置代碼執行編譯操作，得到所述配置代碼對應的驗證數據；

將所述驗證數據作為所述待驗證系統級芯片的輸入，啟動所述待驗證系統級芯片；

依據所述驗證數據運行所述待驗證系統級芯片。

5.根據權利要求1所述的方法，其特征在于，所述系統級芯片包括：多個功能模塊，所述芯片更新請求包括：目標功能模塊和配置腳本，所述依據所述芯片更新請求對所述系統級芯片執行更新操作，包括：

依據所述目標功能模塊在所述多個功能模塊中確定非目標功能模塊；

依據所述配置腳本將所述非目標功能模塊更新為所述配置腳本對應的仿真模型。

6.一種驗證裝置，其特征在于，應用于電子設備，所述電子設備包括：系統級芯片，所述驗證裝置包括：更新單元、隨機激勵單元、代碼配置單元、控制單元、監控單元、參考模型單元、結果比對單元，其中：

所述更新單元，用于接收芯片更新請求，依據所述芯片更新請求對所述系統級芯片執行更新操作，得到待驗證系統級芯片；

所述隨機激勵單元，用于接收源數據；

所述代碼配置單元，用于依據所述源數據生成配置代碼，所述配置代碼包括：軟件配置代碼和硬件配置代碼；

所述控制單元，用于依據所述配置代碼運行所述待驗證系統級芯片得到第一結果；

所述監控單元，用于對所述待驗證系統級芯片執行監控操作，接收所述待驗證系統級芯片依據所述配置代碼執行運算得到的第一結果；

所述參考模型單元，用于獲取所述預設的參考模型運行所述源數據得到的第二結果；

所述結果比對單元，用于比對所述第一結果與所述第二結果得到驗證結果。

7.根據權利要求6所述的裝置，其特征在于，所述隨機激勵單元還用于：

將所述源數據輸入預設的源數據解析器，所述源數據解析器用于對所述源數據執行文本解析操作，得到所述源數據對應的軟件配置文本和硬件配置文本；

依據所述軟件配置文本與所述硬件配置文本生成所述配置代碼。

8.根據權利要求6或7所述的裝置，其特征在于，在所述依據所述軟件配置文本與所述硬件配置文本生成所述配置代碼方面，所述代碼配置單元包括：

獲取預設的代碼腳本；

將所述代碼腳本和所述軟件配置文本輸入預設的代碼產生器，以生成所述軟件配置代碼，并將所述代碼腳本和所述硬件配置文本輸入所述代碼產生器，以生成所述硬件配置代碼。