[发明专利]一种集成电路的验证方法及装置

权利要求书

1.一种集成电路的验证方法，其特征在于，包括：

获取集成电路的各个待验文件中的待验端口；

根据全部所述待验文件的待验端口确定所述集成电路的端口路径；

当在所述集成电路的端口路径中查找到预设匹配的起点和终点时，判定所述集成电路连接通过；

所述根据全部所述待验文件的待验端口确定所述集成电路的端口路径，包括：

在全部所述待验端口中选择一个未验证的端口作为当前待验端口；

确定所述当前待验端口的端口路径；

根据全部当前待验端口的端口路径，确定集成电路的端口路径。

2.根据权利要求1所述的方法，其特征在于，所述获取集成电路的各个待验文件中的待验端口，包括：

从预先设定的文件列表中选择一个未验证的文件作为当前待验文件；

获取所述当前待验文件的全部待验端口。

3.根据权利要求2所述的方法，其特征在于，所述确定所述当前待验端口的端口路径，包括：

将所述当前待验端口作为关键字在所述当前待验文件中进行查找，确定所述当前待验端口所在的当前实例；

确定通过所述当前待验端口与所述当前实例进行实例调用的实例和端口；

根据与所述当前实例进行实例调用的实例和端口，确定所述当前待验端口的端口路径。

4.根据权利要求2所述的方法，其特征在于，在所述确定所述当前待验端口的端口路径之前，所述方法还包括：

判断所述当前待验端口所在的当前实例被预设的顶层实例调用的深度是否大于预先设置的深度阈值；

若是，则结束确定所述当前待验端口的端口路径。

5.一种集成电路的验证装置，其特征在于，包括：

获取单元，用于获取集成电路的各个待验文件中的待验端口，将所述待验端口发送给确定单元；

所述确定单元，用于根据全部所述待验端口确定所述集成电路的端口路径，将所述集成电路的端口路径发送给判定单元；

所述判定单元，用于当在所述集成电路的端口路径中查找到预设匹配的起点和终点时，判定所述集成电路连接通过；

其中，所述确定单元包括：

第二选择子单元，用于在全部所述待验端口中选择一个未验证的端口作为当前待验端口，将所述当前待验端口发送给确定子单元；

所述确定子单元，用于确定所述当前待验端口的端口路径；根据全部当前待验端口的端口路径，确定集成电路的端口路径。

6.根据权利要求5所述的装置，其特征在于，所述获取单元，包括：

第一选择子单元，用于从预先设定的文件列表中选择一个未验证的文件作为当前待验文件，将所述当前待验文件发送给获取子单元；

所述获取子单元，用于获取所述当前待验文件的全部待验端口。

7.根据权利要求6所述的装置，其特征在于，

所述确定单元，还用于将所述当前待验端口作为关键字在所述当前待验文件中进行查找，确定所述当前待验端口所在的当前实例；确定通过所述当前待验端口与所述当前实例进行实例调用的实例和端口；根据与所述当前实例进行实例调用的实例和端口，确定所述当前待验端口的端口路径。

8.根据权利要求6所述的装置，其特征在于，

所述判定单元，还用于判断所述当前待验端口所在的当前实例被预设的顶层实例调用的深度是否大于预先设置的深度阈值；若是，则结束确定所述当前待验端口的端口路径。