[發明專利]芯片驗證方法及裝置、設備和介質

在審

• 申請號: 202310263679.2
• 申請日: 2023-03-10
• 公開（公告）號: CN116306396A
• 公開（公告）日: 2023-06-23
• 發明（設計）人: 楊凱;梁子豪;王京;凌霄
• 申請（專利權）人: 昆侖芯（北京）科技有限公司
• 主分類號: G06F30/33
• 分類號: G06F30/33;G06F11/26
• 代理公司: 北京市漢坤律師事務所 11602
• 代理人: 姜浩然;吳麗麗

本公開提供了一種芯片驗證方法及裝置、設備和介質，涉及計算機技術領域，尤其涉及芯片技術領域。實現方案為：獲取指令集和目標驗證選項；基于所述目標驗證選項，獲取目標約束信息，所述目標約束信息包括目標約束條件和目標約束條件的類型；基于所述目標約束條件的類型，獲取與所述目標約束信息對應的隨機配置指令的模板；基于所述隨機配置指令的模板和所述目標約束條件，生成可執行的隨機配置指令；執行所述隨機配置指令，以從所述指令集中隨機確定至少一個目標指令，其中，所述至少一個目標指令符合所述目標約束條件；利用待驗證芯片執行所述至少一個目標指令；以及基于所述至少一個目標指令的執行結果，確定針對所述待驗證芯片的驗證結果。

技術領域

本公開涉及計算機技術領域，尤其涉及芯片技術領域，具體涉及一種芯片驗證方法、裝置、電子設備、計算機可讀存儲介質和計算機程序產品。

背景技術

人工智能是研究使計算機來模擬人的某些思維過程和智能行為(如學習、推理、思考、規劃等)的學科，既有硬件層面的技術也有軟件層面的技術。人工智能硬件技術一般包括如傳感器、專用人工智能芯片、云計算、分布式存儲、大數據處理等技術；人工智能軟件技術主要包括計算機視覺技術、語音識別技術、自然語言處理技術以及機器學習/深度學習、大數據處理技術、知識圖譜技術等幾大方向。

為了適應人工智能技術的發展，用于執行基于人工智能的算法的芯片規模和工藝進一步提升，需要應用更加精準高效的芯片驗證技術。

在此部分中描述的方法不一定是之前已經設想到或采用的方法。除非另有指明，否則不應假定此部分中描述的任何方法僅因其包括在此部分中就被認為是現有技術。類似地，除非另有指明，否則此部分中提及的問題不應認為在任何現有技術中已被公認。

發明內容

本公開提供了一種芯片驗證方法、裝置、電子設備、計算機可讀存儲介質和計算機程序產品。

根據本公開的一方面，提供了一種芯片驗證方法，包括：獲取指令集和目標驗證選項；基于所述目標驗證選項，獲取目標約束信息，所述目標約束信息包括目標約束條件和目標約束條件的類型；基于所述目標約束條件的類型，獲取與所述目標約束信息對應的隨機配置指令的模板；基于所述隨機配置指令的模板和所述目標約束條件，生成可執行的隨機配置指令；執行所述隨機配置指令，以從所述指令集中隨機確定至少一個目標指令，其中，所述至少一個目標指令符合所述目標約束條件；利用待驗證芯片執行所述至少一個目標指令；以及基于所述至少一個目標指令的執行結果，確定針對所述待驗證芯片的驗證結果。

根據本公開的另一方面，提供了一種芯片驗證裝置，包括：第一獲取單元，被配置為獲取指令集和目標驗證選項；第二獲取單元，被配置為基于所述目標驗證選項，獲取目標約束信息，所述目標約束信息包括目標約束條件和目標約束條件的類型；第三獲取單元，被配置為基于所述目標約束條件的類型，獲取與所述目標約束信息對應的隨機配置指令的模板；生成單元，被配置為基于所述隨機配置指令的模板和所述目標約束條件，生成可執行的隨機配置指令；第一確定單元，被配置為執行所述隨機配置指令，以從所述指令集中隨機確定至少一個目標指令，其中，所述至少一個目標指令符合所述目標約束條件；執行單元，被配置為利用待驗證芯片執行所述至少一個目標指令；以及第二確定單元，被配置為基于所述至少一個目標指令的執行結果，確定針對所述待驗證芯片的驗證結果。

根據本公開的另一方面，提供了一種芯片，包括如上所述的芯片驗證裝置。

根據本公開的另一方面，提供了一種電子設備，包括：至少一個處理器；以及與所述至少一個處理器通信連接的存儲器；其中所述存儲器存儲有可被所述至少一個處理器執行的指令，所述指令被所述至少一個處理器執行，以使所述至少一個處理器能夠執行上述芯片驗證方法。

根據本公開的另一方面，提供了一種存儲有計算機指令的非瞬時計算機可讀存儲介質，其中，所述計算機指令用于使所述計算機執行上述芯片驗證方法。