电路的检查方法、装置、电子设备、存储介质制造方法及图纸

一种电路的检查方法、装置、电子设备、存储介质。该电路的检查方法包括：确定多个电路结点；确定电路对应的多个输入场景；确定在多个输入场景中的每个被选择输入场景下，多个电路元件分别对应的元件状态；根据在被选择输入场景下多个电路元件分别对应的元件状态以及多个电路结点，确定在被选择输入场景下电路对应的等效模型；基于电路在多个输入场景下分别对应的多个等效模型，对电路执行电路检查。该电路的检查方法能够避免人为检查带来的误差，降低电路检查工作量，提升电路设计的可靠性和准确性，提高研发效率，在电路设计过程中帮助电路设计人员高效快速的识别电路中存在的电路问题。问题。问题。

【技术实现步骤摘要】
电路的检查方法、装置、电子设备、存储介质


[0001]本公开的实施例涉及一种电路的检查方法、电路的检查装置、电子设备、非瞬时性计算机可读存储介质。

技术介绍

[0002]复杂电路，例如大规模数字集成电路，通常包括多个电路模块。例如，多个电路模块可以包括作为标准单元库的多种单元电路，单元电路包含了组合逻辑、时序逻辑和特殊类型单元等。在电路设计过程中，设计工作者必须保证每个电路模块(例如单元电路)的逻辑正确性。一般在设计过程中，设计人员会通过仿真工具来确认各个电路模块是否符合设计目标。若电路模块数目比较多，以及考虑设计优化、版本迭代等因素，电路设计人员在设计过程中需要多次对多个电路模块进行修改检查。

技术实现思路

[0003]本公开至少一实施例提供一种电路的检查方法，所述电路包括多个电路元件和多个输入端，所述检查方法包括：确定多个电路结点，其中，每个电路结点表示与至少一个电路元件相连接的点；确定所述电路对应的多个输入场景，其中，每个输入场景包括所述多个输入端分别对应的信号状态；确定在所述多个输入场景中的每个被选择输入场景下，所述多个本文档来自技高网...

【技术保护点】

【技术特征摘要】
1.一种电路的检查方法，其中，所述电路包括多个电路元件和多个输入端，所述检查方法包括：确定多个电路结点，其中，每个电路结点表示与至少一个电路元件相连接的点；确定所述电路对应的多个输入场景，其中，每个输入场景包括所述多个输入端分别对应的信号状态；确定在所述多个输入场景中的每个被选择输入场景下，所述多个电路元件分别对应的元件状态；根据在所述被选择输入场景下所述多个电路元件分别对应的元件状态以及所述多个电路结点，确定在所述被选择输入场景下所述电路对应的等效模型；基于所述电路在所述多个输入场景下分别对应的多个等效模型，对所述电路执行电路检查。2.根据权利要求1所述的检查方法，其中，每个等效模型包括多个等效节点和多条等效边，所述电路还包括接地端和至少一个电源端，每个电路元件的元件状态包括导通状态或非导通状态，根据在所述被选择输入场景下所述多个电路元件分别对应的元件状态以及所述多个电路结点，确定在所述被选择输入场景下所述电路对应的等效模型，包括：将所述多个电路结点、所述接地端和所述至少一个电源端作为在所述被选择输入场景下所述电路对应的等效模型的多个等效节点；将所述多个电路元件作为在所述被选择输入场景下所述电路对应的等效模型中的多条等效边，其中，在所述被选择输入场景下所述电路对应的等效模型中，每条等效边用于连接两个等效节点；基于所述多个电路元件分别对应的元件状态确定所述多条等效边分别对应的等效路径值，其中，响应于电路元件的元件状态为导通状态，所述电路元件对应的等效边对应的等效路径值为第一值，响应于所述电路元件的元件状态为非导通状态，所述电路元件对应的等效边对应的等效路径值为第二值，所述第一值和所述第二值不同。3.根据权利要求2所述的检查方法，其中，基于所述电路在所述多个输入场景下分别对应的多个等效模型，对所述电路执行电路检查，包括：基于所述接地端和所述至少一个电源端，确定至少一个检查组，其中，每个检查组包括所述接地端和所述至少一个电源端中的一个电源端；针对每个被选择检查组，遍历所述多个等效模型，确定在每个被选择等效模型中，所述被选择检查组中的电源端和所述接地端之间是否存在短路路径，响应于所述被选择检查组中的电源端和所述接地端之间存在短路路径，确定所述电路在所述被选择等效模型对应的输入场景下存在短路问题。4.根据权利要求3所述的检查方法，其中，确定在每个被选择等效模型中，所述被选择检查组中的电源端和所述接地端之间是否存在短路路径，包括：确定所述被选择检查组中的电源端和所述接地端之间是否存在最短电路路径，响应于所述被选择检查组中的电源端和所述接地端之间存在最短电路路径，
根据所述最短电路路径包括的至少一条等效边分别对应的至少一个等效路径值，计算所述最短电路路径对应的等效路径和；根据所述等效路径和，判断所述最短电路路径是否为短路路径；响应于所述被选择检查组中的电源端和所述接地端之间不存在最短电路路径，确定所述被选择检查组中的电源端和所述接地端之间不存在短路路径。5.根据权利要求4所述的检查方法，其中，所述等效路径和为所述至少一个等效路径值之和或所述至少一个等效路径值的加权和。6.根据权利要求4所述的检查方法，其中，所述第一值为0，根据所述等效路径和，判断所述最短电路路径是否为短路路径，包括：响应于所述等效路径和等于所述第一值，确定所述最短电路路径是短路路径；响应于所述等效路径和不等于所述第一值，确定所述最短电路路径不是短路路径。7.根据权利要求3所述的检查方法，还包括：响应于所述最短电路路径为短路路径，记录所述最短电路路径、所述被选择等效模型对应的输入场景、以及所述被选择检查组包括的电源端和所述接地端。8.根据权利要求2所述的检查方法，其中，所述电路还包括至少一个电源端，基于所述电路在所述多个输入场景下分别对应的多个等效模型，对所述电路执行电路检查，包括：针对所述多个电路结点中的每个被选择电路结点：基于所述多个等效模型，确定在所述多个输入场景下，所述至少一个电源端与所述被选择电路结点之间是否存在导通路径；响应于在任一个输入场景下，任一个电源端与所述被选择电路结点之间存在导通路径，确定所述被选择电路结点与所述至少一个电源端之间不存在高阻态状态；响应于在所述多个输入场景下，所述至少一个电源端与所述被选择电路结点之间均不存在导通路径，确定所述被选择电路结点与所述至少一个电源端之间存在高阻态状态。9.根据权利要求8所述的检查方法，其中，基于所述多个等效模型，确定在所述多个输入场景下，所述至少一个电源端与所述被选择电路结点之间是否存在导通路径，包括：针对所述至少一个电源端中...

【专利技术属性】
技术研发人员：郭翠娜，陈权，冯东东，
申请(专利权)人：海光信息技术股份有限公司，
类型：发明
国别省市：