[發明專利]電路的檢查方法、裝置、電子設備、存儲介質

在審

• 申請號: 202111387925.2
• 申請日: 2021-11-22
• 公開（公告）號: CN114091387A
• 公開（公告）日: 2022-02-25
• 發明（設計）人: 郭翠娜;陳權;馮東東
• 申請（專利權）人: 海光信息技術股份有限公司
• 主分類號: G06F30/3308
• 分類號: G06F30/3308
• 代理公司: 北京市柳沈律師事務所 11105
• 代理人: 羅莎

1.一種電路的檢查方法，其中，所述電路包括多個電路元件和多個輸入端，所述檢查方法包括：

確定多個電路結點，其中，每個電路結點表示與至少一個電路元件相連接的點；

確定所述電路對應的多個輸入場景，其中，每個輸入場景包括所述多個輸入端分別對應的信號狀態；

確定在所述多個輸入場景中的每個被選擇輸入場景下，所述多個電路元件分別對應的元件狀態；

根據在所述被選擇輸入場景下所述多個電路元件分別對應的元件狀態以及所述多個電路結點，確定在所述被選擇輸入場景下所述電路對應的等效模型；

基于所述電路在所述多個輸入場景下分別對應的多個等效模型，對所述電路執行電路檢查。

2.根據權利要求1所述的檢查方法，其中，每個等效模型包括多個等效節點和多條等效邊，

所述電路還包括接地端和至少一個電源端，每個電路元件的元件狀態包括導通狀態或非導通狀態，

根據在所述被選擇輸入場景下所述多個電路元件分別對應的元件狀態以及所述多個電路結點，確定在所述被選擇輸入場景下所述電路對應的等效模型，包括：

將所述多個電路結點、所述接地端和所述至少一個電源端作為在所述被選擇輸入場景下所述電路對應的等效模型的多個等效節點；

將所述多個電路元件作為在所述被選擇輸入場景下所述電路對應的等效模型中的多條等效邊，其中，在所述被選擇輸入場景下所述電路對應的等效模型中，每條等效邊用于連接兩個等效節點；

基于所述多個電路元件分別對應的元件狀態確定所述多條等效邊分別對應的等效路徑值，

其中，響應于電路元件的元件狀態為導通狀態，所述電路元件對應的等效邊對應的等效路徑值為第一值，響應于所述電路元件的元件狀態為非導通狀態，所述電路元件對應的等效邊對應的等效路徑值為第二值，所述第一值和所述第二值不同。

3.根據權利要求2所述的檢查方法，其中，基于所述電路在所述多個輸入場景下分別對應的多個等效模型，對所述電路執行電路檢查，包括：

基于所述接地端和所述至少一個電源端，確定至少一個檢查組，其中，每個檢查組包括所述接地端和所述至少一個電源端中的一個電源端；

針對每個被選擇檢查組，遍歷所述多個等效模型，確定在每個被選擇等效模型中，所述被選擇檢查組中的電源端和所述接地端之間是否存在短路路徑，

響應于所述被選擇檢查組中的電源端和所述接地端之間存在短路路徑，確定所述電路在所述被選擇等效模型對應的輸入場景下存在短路問題。

4.根據權利要求3所述的檢查方法，其中，確定在每個被選擇等效模型中，所述被選擇檢查組中的電源端和所述接地端之間是否存在短路路徑，包括：

確定所述被選擇檢查組中的電源端和所述接地端之間是否存在最短電路路徑，

響應于所述被選擇檢查組中的電源端和所述接地端之間存在最短電路路徑，

根據所述最短電路路徑包括的至少一條等效邊分別對應的至少一個等效路徑值，計算所述最短電路路徑對應的等效路徑和；

根據所述等效路徑和，判斷所述最短電路路徑是否為短路路徑；

響應于所述被選擇檢查組中的電源端和所述接地端之間不存在最短電路路徑，確定所述被選擇檢查組中的電源端和所述接地端之間不存在短路路徑。

5.根據權利要求4所述的檢查方法，其中，所述等效路徑和為所述至少一個等效路徑值之和或所述至少一個等效路徑值的加權和。

6.根據權利要求4所述的檢查方法，其中，所述第一值為0，

根據所述等效路徑和，判斷所述最短電路路徑是否為短路路徑，包括：

響應于所述等效路徑和等于所述第一值，確定所述最短電路路徑是短路路徑；

響應于所述等效路徑和不等于所述第一值，確定所述最短電路路徑不是短路路徑。

7.根據權利要求3所述的檢查方法，還包括：

響應于所述最短電路路徑為短路路徑，記錄所述最短電路路徑、所述被選擇等效模型對應的輸入場景、以及所述被選擇檢查組包括的電源端和所述接地端。