[发明专利]一种集成电路自动化设计中方程组解的存在性检查方法

权利要求书

1.一种集成电路自动化设计中方程组解的存在性检查方法，包括以下步骤：

（1）根据器件的连接关系构建容器；

（2）根据所述容器，判断器件是否形成特殊环路会导致方程组无解；

（3）根据所述容器，判断优化是否会形成特殊环路导致方程组无解；

所述步骤（2）进一步包括：

根据己有的容器判断新遍历到的器件的两个端口，是否与原遍历到的器件的两个端口具有同一属性，来判断是否存在特殊环路；

如具有同一属性则认为存在特殊环路，报错退出；

如不具有同一属性则认为不存在特殊环路，则遍历下一个器件，并更新容器；

所述步骤（3）进一步包括：

通过判断需要短接的器件的两个端口是否具有同一属性来判断对器件的优化是否形成特殊环路；

如具有同一属性则认为存在特殊环路，取消对器件的优化；

如不具有同一属性则认为不存在特殊环路，短接器件，更新容器，优化下一个器件。

2.根据权利要求1所述的集成电路自动化设计中方程组解的存在性检查方法，其特征在于，在所述步骤（1）进一步包括以下步骤：

对容器进行初始化，初始化后的容器为空；

遍历网表中的器件，分析器件的特性；

根据器件的连接关系构建容器。