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

在審

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

一種電路的檢查方法、裝置、電子設備、存儲介質。該電路的檢查方法包括：確定多個電路結點；確定電路對應的多個輸入場景；確定在多個輸入場景中的每個被選擇輸入場景下，多個電路元件分別對應的元件狀態；根據在被選擇輸入場景下多個電路元件分別對應的元件狀態以及多個電路結點，確定在被選擇輸入場景下電路對應的等效模型；基于電路在多個輸入場景下分別對應的多個等效模型，對電路執行電路檢查。該電路的檢查方法能夠避免人為檢查帶來的誤差，降低電路檢查工作量，提升電路設計的可靠性和準確性，提高研發效率，在電路設計過程中幫助電路設計人員高效快速的識別電路中存在的電路問題。

技術領域

本公開的實施例涉及一種電路的檢查方法、電路的檢查裝置、電子設備、非瞬時性計算機可讀存儲介質。

背景技術

復雜電路，例如大規模數字集成電路，通常包括多個電路模塊。例如，多個電路模塊可以包括作為標準單元庫的多種單元電路，單元電路包含了組合邏輯、時序邏輯和特殊類型單元等。在電路設計過程中，設計工作者必須保證每個電路模塊(例如單元電路)的邏輯正確性。一般在設計過程中，設計人員會通過仿真工具來確認各個電路模塊是否符合設計目標。若電路模塊數目比較多，以及考慮設計優化、版本迭代等因素，電路設計人員在設計過程中需要多次對多個電路模塊進行修改檢查。

發明內容

本公開至少一實施例提供一種電路的檢查方法，所述電路包括多個電路元件和多個輸入端，所述檢查方法包括：確定多個電路結點，其中，每個電路結點表示與至少一個電路元件相連接的點；確定所述電路對應的多個輸入場景，其中，每個輸入場景包括所述多個輸入端分別對應的信號狀態；確定在所述多個輸入場景中的每個被選擇輸入場景下，所述多個電路元件分別對應的元件狀態；根據在所述被選擇輸入場景下所述多個電路元件分別對應的元件狀態以及所述多個電路結點，確定在所述被選擇輸入場景下所述電路對應的等效模型；基于所述電路在所述多個輸入場景下分別對應的多個等效模型，對所述電路執行電路檢查。

例如，在本公開至少一實施例提供的電路的檢查方法中，每個等效模型包括多個等效節點和多條等效邊，所述電路還包括接地端和至少一個電源端，每個電路元件的元件狀態包括導通狀態或非導通狀態，根據在所述被選擇輸入場景下所述多個電路元件分別對應的元件狀態以及所述多個電路結點，確定在所述被選擇輸入場景下所述電路對應的等效模型，包括：將所述多個電路結點、所述接地端和所述至少一個電源端作為在所述被選擇輸入場景下所述電路對應的等效模型的多個等效節點；將所述多個電路元件作為在所述被選擇輸入場景下所述電路對應的等效模型中的多條等效邊，其中，在所述被選擇輸入場景下所述電路對應的等效模型中，每條等效邊用于連接兩個等效節點；基于所述多個電路元件分別對應的元件狀態確定所述多條等效邊分別對應的等效路徑值，其中，響應于電路元件的元件狀態為導通狀態，所述電路元件對應的等效邊對應的等效路徑值為第一值，響應于所述電路元件的元件狀態為非導通狀態，所述電路元件對應的等效邊對應的等效路徑值為第二值，所述第一值和所述第二值不同。

例如，在本公開至少一實施例提供的電路的檢查方法中，基于所述電路在所述多個輸入場景下分別對應的多個等效模型，對所述電路執行電路檢查，包括：基于所述接地端和所述至少一個電源端，確定至少一個檢查組，其中，每個檢查組包括所述接地端和所述至少一個電源端中的一個電源端；針對每個被選擇檢查組，遍歷所述多個等效模型，確定在每個被選擇等效模型中，所述被選擇檢查組中的電源端和所述接地端之間是否存在短路路徑，響應于所述被選擇檢查組中的電源端和所述接地端之間存在短路路徑，確定所述電路在所述被選擇等效模型對應的輸入場景下存在短路問題。