【技术实现步骤摘要】
本公开的实施例涉及一种电路检测方法、装置、电子设备和计算机可读存储介质。
技术介绍
1、在当今的超大规模集成电路设计中，基于功能及功耗需求，一颗芯片中可能存在数以百计的复位信号。这些复位信号可能来自片外管脚、可能来自片上的上电复位，也可能来自软件配置等等。每个复位信号所作用的范围并不一致，其所作用到的触发器组称之为一个复位域(reset domain)；不同的复位域之间必然存在交互，这种信号从一个复位域跨越到另外一个复位域的逻辑称之为跨复位域电路(reset domain crossing，rdc)。
技术实现思路
1、本公开至少一个实施例提供一种电路检测方法，包括：获取待检测的设计文件，其中，所述设计文件包括多个电路元件的信息；基于所述多个电路元件的信息，从所述设计文件中识别得到满足跨复位域电路的结构特征的至少一个初始检测电路；将所述至少一个初始检测电路中不满足约束条件的初始检测电路作为目标检测电路输出，其中，所述约束条件包括复位信号的顺序约束条件、时序约束条件和元件类型约束条件中的至少一种。
2、例如，在本公开上述实施例的至少一个示例提供的电路检测方法中，所述多个电路元件包括多个寄存器，所述设计文件包括所述多个寄存器的管脚信息、连线关系信息。
3、例如，在本公开上述实施例的至少一个示例提供的电路检测方法中，所述跨复位域电路包括第一电路元件和第二电路元件，所述第一电路元件的输出连接所述第二电路元件的输入；所述跨复位域电路的结构特征包括所述第一电路元件包括第
4、例如，在本公开上述实施例的至少一个示例提供的电路检测方法中，基于所述多个电路元件的信息，从所述设计文件中识别得到满足跨复位域电路的结构特征的至少一个初始检测电路，包括：基于所述多个电路元件的信息，得到第一列表，其中，所述第一列表用于记录每个所述电路元件是否具有异步复位端，对于每个具有异步复位端的电路元件，所述第一列表还用于记录所述电路元件的异步复位端的标识、以及所述异步复位端所接收的复位信号与所述电路元件所接收的时钟信号的时序关系；将每个具有异步复位端的电路元件作为所述第一电路元件，并针对每个所述第一电路元件执行以下操作：从所述多个电路元件中确定所述第一电路元件对应的至少一个第二电路元件；基于所述第一列表，确定所述第一电路元件与每个所述第二电路元件是否满足所述跨复位域电路的结构特征。
5、例如，在本公开上述实施例的至少一个示例提供的电路检测方法中，基于所述多个电路元件的信息，从所述设计文件中识别得到满足跨复位域电路的结构特征的至少一个初始检测电路，包括：基于所述多个电路元件的信息，得到第一列表，其中，所述第一列表用于记录每个所述电路元件是否具有异步复位端，对于每个具有异步复位端的电路元件，所述第一列表还用于记录所述电路元件的异步复位端的标识、以及所述异步复位端所接收的复位信号与所述电路元件所接收的时钟信号的时序关系；将每个所述电路元件作为所述第二电路元件，并针对每个所述第二电路元件执行以下操作：从所述多个电路元件中确定所述第二电路元件对应的至少一个第一电路元件；基于所述第一列表，确定所述第二电路元件与每个所述第一电路元件是否满足所述跨复位域电路的结构特征。
6、例如，在本公开上述实施例的至少一个示例提供的电路检测方法中，将所述至少一个初始检测电路中不满足约束条件的初始检测电路作为目标检测电路输出，包括：从所述至少一个初始检测电路中滤除满足所述顺序约束条件或所述元件类型约束条件的第一部分初始检测电路，得到剩余的第二部分初始检测电路；从所述第二部分初始检测电路中确定第三部分初始检测电路，其中，对于所述第三部分初始检测电路中的每个初始检测电路，第一电路元件的异步复位端的复位信号与所述第一电路元件的时钟信号同步并且所述第一电路元件的时钟信号与所述第二电路元件的时钟信号同步；针对所述第三部分初始检测电路中的每个初始检测电路，确定所述初始检测电路是否满足所述时序约束条件；将所述第三部分初始检测电路中不满足所述时序约束条件的初始检测电路作为所述目标检测电路，以及将所述第二部分初始检测电路中除所述第三部分初始检测电路之外的其他初始检测电路作为所述目标检测电路。
7、例如，在本公开上述实施例的至少一个示例提供的电路检测方法中，所述顺序约束条件包括所述第一电路元件的异步复位端所接收的复位信号晚于所述第二电路元件的异步复位端所接收的复位信号；所述时序约束条件包括建立时间条件和保持时间条件；所述元件类型约束条件包括第二电路元件是为解决跨复位域问题而设置的元件。
8、本公开至少一个实施例提供一种电路检测装置，包括获取模块、第一检测模块和第二检测模块，获取模块配置为获取待检测的设计文件，其中，所述设计文件包括多个电路元件的信息；第一检测模块配置为基于所述多个电路元件的信息，从所述设计文件中识别得到满足跨复位域电路的结构特征的至少一个初始检测电路；第二检测模块配置为将所述至少一个初始检测电路中不满足约束条件的初始检测电路作为目标检测电路输出，其中，所述约束条件包括复位信号的顺序约束条件、时序约束条件和元件类型约束条件中的至少一种。
9、例如，在本公开上述实施例的至少一个示例提供的电路检测装置中，所述多个电路元件包括多个寄存器，所述设计文件包括所述多个寄存器的管脚信息、连线关系信息。
10、例如，在本公开上述实施例的至少一个示例提供的电路检测装置中，所述跨复位域电路包括第一电路元件和第二电路元件，所述第一电路元件的输出连接所述第二电路元件的输入；所述跨复位域电路的结构特征包括所述第一电路元件包括第一异步复位端，所述第二电路元件不包括异步复位端或者包括第二异步复位端，其中，所述第二异步复位端所接收的复位信号与所述第一异步复位端所接收的复位信号不同。
11、例如，在本公开上述实施例的至少一个示例提供的电路检测装置中，所述第一检测模块配置为：基于所述多个电路元件的信息，得到第一列表，其中，所述第一列表用于记录每个所述电路元件是否具有异步复位端，对于每个具有异步复位端的电路元件，所述第一列表还用于记录所述电路元件的异步复位端的标识、以及所述异步复位端所接收的复位信号与所述电路元件所接收的时钟信号的时序关系；将每个具有异步复位端的电路元件作为所述第一电路元件，并针对每个所述第一电路元件执行以下操作：从所述多个电路元件中确定所述第一电路元件对应的至少一个第二电路元件；基于所述第一列表，确定所述第一电路元件与每个所述第二电路元件是否满足所述跨复位域电路的结构特征。
12、例如，在本公开上述实施例的至少一个示例提供的电路检测装置中，所述第一检测模块配置为：基于所述多个电路元件的信息，得到第一列表，其中，所述第一列表用于记录每个所述电路元件是否具有异步复位端，对于每个具有异步复位端的电路元件，所述第一列表还用于记录所述电本文档来自技高网...
【技术保护点】
1.一种电路检测方法，包括：
2.根据权利要求1所述的电路检测方法，其中，所述多个电路元件包括多个寄存器，所述设计文件包括所述多个寄存器的管脚信息、连线关系信息。
3.根据权利要求1或2所述的电路检测方法，其中，所述跨复位域电路包括第一电路元件和第二电路元件，所述第一电路元件的输出连接所述第二电路元件的输入；
4.根据权利要求3所述的电路检测方法，其中，基于所述多个电路元件的信息，从所述设计文件中识别得到满足跨复位域电路的结构特征的至少一个初始检测电路，包括：
5.根据权利要求3所述的电路检测方法，其中，基于所述多个电路元件的信息，从所述设计文件中识别得到满足跨复位域电路的结构特征的至少一个初始检测电路，包括：
6.根据权利要求3所述的电路检测方法，其中，将所述至少一个初始检测电路中不满足约束条件的初始检测电路作为目标检测电路输出，包括：
7.根据权利要求6所述的电路检测方法，其中，所述顺序约束条件包括所述第一电路元件的异步复位端所接收的复位信号晚于所述第二电路元件的异步复位端所接收的复位信号；
9.根据权利要求8所述的电路检测装置，其中，所述多个电路元件包括多个寄存器，所述设计文件包括所述多个寄存器的管脚信息、连线关系信息。
10.根据权利要求8或9所述的电路检测装置，其中，所述跨复位域电路包括第一电路元件和第二电路元件，所述第一电路元件的输出连接所述第二电路元件的输入；
11.根据权利要求10所述的电路检测装置，其中，所述第一检测模块配置为：
12.根据权利要求10所述的电路检测装置，其中，所述第一检测模块配置为：
13.根据权利要求10所述的电路检测装置，其中，所述第二检测模块配置为：
14.一种电子设备，包括：
15.一种计算机可读存储介质，存储有非暂时性计算机可读指令，当所述非暂时性计算机可读指令由计算机执行时可以实现权利要求1-7任一项所述的电路检测方法。
...【技术特征摘要】
1.一种电路检测方法，包括：
2.根据权利要求1所述的电路检测方法，其中，所述多个电路元件包括多个寄存器，所述设计文件包括所述多个寄存器的管脚信息、连线关系信息。
3.根据权利要求1或2所述的电路检测方法，其中，所述跨复位域电路包括第一电路元件和第二电路元件，所述第一电路元件的输出连接所述第二电路元件的输入；
4.根据权利要求3所述的电路检测方法，其中，基于所述多个电路元件的信息，从所述设计文件中识别得到满足跨复位域电路的结构特征的至少一个初始检测电路，包括：
5.根据权利要求3所述的电路检测方法，其中，基于所述多个电路元件的信息，从所述设计文件中识别得到满足跨复位域电路的结构特征的至少一个初始检测电路，包括：
6.根据权利要求3所述的电路检测方法，其中，将所述至少一个初始检测电路中不满足约束条件的初始检测电路作为目标检测电路输出，包括：
7.根据权利要求6所述的电路检测方法，其中，所述顺序约束条件包括所述第一电...
【专利技术属性】
技术研发人员：付兴飞，杨译，董亚男，唐帅，秦勇，杨韬，代开勇，潘于，
申请(专利权)人：海光信息技术成都有限公司，
类型：发明
国别省市：
还没有人留言评论。发表了对其他浏览者有用的留言会获得科技券。