[发明专利]扩展电路设计的递增验证以包含验证约束的方法和系统

摘要

一种递增验证方法，包括：从第一网表解除验证约束，并且使用结果产生的网表，建立适合于确定在设计的第一网表和第二网表之间的等效的无约束的复合网表。从网表解除约束可以包括添加修改的约束网，其中，所述修改的约束网对于在原始约束是假的任何周期后的所有周期是假。所述方法可以包括：取代解除约束，确定验证结果是目标不被断言的结果，以及第二网表约束是第一网表约束的超集，或者所述验证结果是目标被断言的结果，以及第一网表约束是第二网表约束的超集。在任何一种情况下，所述方法可以包括：通过向复合网表中引入所有的原始约束来建立复合网表。

主权项

1.一种方法，用于使用递增验证将使用表示设计的第一版本的第一网表而获得的验证结果应用到表示设计的第二版本的第二网表，所述方法包括：通过从自所述第一和第二网表选择的网表解除验证约束来建立修改的网表；并且使用修改的网表来建立适合于确定在第一和第二网表之间的等效的复合网表。