[发明专利]逻辑闸阶层验证方法以及验证系统

权利要求书

1.一种逻辑闸阶层验证方法，其特征在于，包括：

依据时序约束设定取得在逻辑闸阶层模型中的多个未经约束路径；

对所述多个未经约束路径执行延迟时间设定；以及

对所述逻辑闸阶层模型执行逻辑闸阶层模拟，以判断所述多个未经约束路径的至少其中之一是否为对应于真实路径，

当判断所述多个未经约束路径的所述至少其中之一为对应于所述真实路径时，重新定义所述时序约束设定；以及

依据经重新定义的所述时序约束设定来取得多个新的未经约束路径的多个新的端点，

其中对所述多个未经约束路径执行所述延迟时间设定的步骤包括：

取得在所述逻辑闸阶层模型中对应于所述多个未经约束路径的多个端点；以及

分析所述多个端点，以取得对应于所述多个未经约束路径的多个经选择的端点。

2.根据权利要求1所述的逻辑闸阶层验证方法，其特征在于，分析所述多个端点，以取得对应于所述多个未经约束路径的所述多个经选择的端点的步骤包括：

过滤所述多个端点，以滤除在所述多个端点中的特殊端点，其中所述特殊端点为对应于格雷码的逻辑电路的端点。

3.根据权利要求1所述的逻辑闸阶层验证方法，其特征在于，分析所述多个端点，以取得对应于所述多个未经约束路径的所述多个经选择的端点的步骤包括：

判断所述多个端点的至少其中之一是否对应于至少一经约束路径；

当所述多个端点的所述至少其中之一对应于所述至少一经约束路径时，取得对应于所述多个端点的所述至少其中之一的至少一端点；以及

将所述至少一端点归类于对应于所述多个未经约束路径的所述多个经选择的端点。

4.根据权利要求3所述的逻辑闸阶层验证方法，其特征在于，分析所述多个端点，以取得对应于所述多个未经约束路径的所述多个经选择的端点的步骤还包括：

当所述多个端点的至少其中的另一未对应于所述至少一经约束路径时，将所述多个端点的所述至少其中的另一归类于对应于所述多个未经约束路径的所述多个经选择的端点。

5.根据权利要求1所述的逻辑闸阶层验证方法，其特征在于，对所述多个未经约束路径执行所述延迟时间设定的步骤还包括：

在所述多个经选择的端点上加入延迟时间，以使所述多个未经约束路径分别对应的宽裕时间小于0。

6.根据权利要求1所述的逻辑闸阶层验证方法，其特征在于，对所述多个未经约束路径执行所述延迟时间设定的步骤包括：

在所述多个未经约束路径上加入延迟时间，以使所述多个未经约束路径分别对应的宽裕时间小于0。

7.根据权利要求5至6中任一权利要求所述的逻辑闸阶层验证方法，其特征在于，所述延迟时间为20纳秒至100纳秒。

8.一种验证系统，其特征在于，包括：

特定约束模块，用以依据时序约束设定取得在逻辑闸阶层模型中的多个未经约束路径，并且对所述多个未经约束路径执行延迟时间设定；

逻辑闸阶层模拟模块，耦接所述特定约束模块，用以对所述逻辑闸阶层模型执行逻辑闸阶层模拟，以判断所述多个未经约束路径的至少其中之一是否为对应于真实路径；以及

时序约束模块，耦接所述逻辑闸阶层模拟模块，

其中当所述逻辑闸阶层模拟为失败时，所述逻辑闸阶层模拟模块判断所述多个未经约束路径的所述至少其中之一为对应于所述真实路径，并且所述时序约束模块重新定义所述时序约束设定，以使所述特定约束模块依据经重新定义的所述时序约束设定来取得多个新的未经约束路径的多个新的端点，

其中所述特定约束模块取得在所述逻辑闸阶层模型中对应于所述多个未经约束路径的多个端点，

其中所述特定约束模块分析所述多个端点，以取得对应于所述多个未经约束路径的多个经选择的端点。

9.根据权利要求8所述的验证系统，其特征在于，所述特定约束模块过滤所述多个端点，以滤除在所述多个端点中的特殊端点，其中所述特殊端点为对应于格雷码的逻辑电路的端点。