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

摘要

一种集成电路自动化设计中方程组解的存在性检查方法，包括以下步骤：根据器件的连接关系构建容器；根据所述容器，判断器件是否形成特殊环路会导致方程组无解；根据所述容器，判断优化是否会形成特殊环路导致方程组无解。本发明的方法在集成电路自动化产品中对电子电路设计的合理性进行检查，尤其是针对特殊环路导致的方程组的解的存在性进行检查，从而减少了遍历过程，提高了电路设计的效率。

主权项

1.一种集成电路自动化设计中方程组解的存在性检查方法，包括以下步骤：（1）根据器件的连接关系构建容器；（2）根据所述容器，判断器件是否形成特殊环路会导致方程组无解；（3）根据所述容器，判断优化是否会形成特殊环路导致方程组无解；所述步骤（2）进一步包括：根据己有的容器判断新遍历到的器件的两个端口，是否与原遍历到的器件的两个端口具有同一属性，来判断是否存在特殊环路；如具有同一属性则认为存在特殊环路，报错退出；如不具有同一属性则认为不存在特殊环路，则遍历下一个器件，并更新容器；所述步骤（3）进一步包括：通过判断需要短接的器件的两个端口是否具有同一属性来判断对器件的优化是否形成特殊环路；如具有同一属性则认为存在特殊环路，取消对器件的优化；如不具有同一属性则认为不存在特殊环路，短接器件，更新容器，优化下一个器件。