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

说明书

本发明实施例公开了一种集成电路的验证方法及装置，该方法包括：获取集成电路的各个待验文件中的待验端口；根据全部所述待验端口确定所述集成电路的端口路径；当在所述集成电路的端口路径中查找到预设匹配的起点和终点时，判定所述集成电路连接通过。

技术领域

本发明涉及集成电路设计领域，尤其涉及一种集成电路的验证方法及装置。

背景技术

集成电路验证是集成电路设计中不可或缺的重要组成部分，它用于判别设计规范和实现之间是否一致，确保实际设计实现规范文档中所描述的功能，发现功能模块中存在的逻辑缺陷，保证设计逻辑的正确性。随着集成电路产业的迅速发展，集成电路设计的多样性和复杂性程度也越来越高，而传统工程验证方法处理的设计规模和效率的增长落后于开发规模的增长，使得集成电路验证面临的困难也越来越大。

目前，对于集成电路的验证方法主要有动态仿真和形式验证两种手段，其中，基于动态仿真的验证方法是：在集成电路的连接一端上输入各种测试信号，在连接的另一端进行检测；通过对比二者是否一致来证明连接的正确性；基于形式验证的验证方法是：预先编写好约束条件，算法通过约束条件遍历集成电路的各种情况，确认在约束条件下，集成连接总是能够满足，从而证明集成的正确性。

在实现本发明的过程中，发明人发现现有技术中至少存在如下问题：

由于动态仿真的验证方法对输入的测试信号依赖性很强，而测试信号的类型有可能不够全面，因此动态仿真的验证方法会存在验证结果不可信的情况，即：验证结果虽然为通过，但是在实际连接中会存在错误，因此采用动态仿真的验证方法，其验证结果的置信度不能达到100％；对于形式验证的方法，如果集成电路设计规模过大，会出现耗时过长，或者算法不能收敛的情况。

发明内容

为解决现有存在的技术问题，本发明实施例提供一种集成电路的验证方法及装置，不仅能够提高集成电路验证结果的置信度，而且还能够提高集成电路的验证效率。

为达到上述目的，本发明实施例的技术方案是这样实现的：

本发明实施例提供一种集成电路的验证方法，包括：

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

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

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

在上述实施例中，所述获取集成电路的各个待验文件中的待验端口，包括：

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

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

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

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

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

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

在上述实施例中，所述确定所述当前待验端口的端口路径，包括：

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

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

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

在上述实施例中，在所述确定所述当前待验端口的端口路径之前，所述方法还包括：