1.一种集成电路自动化设计中方程组解的存在性检查方法,包括以下步骤:
(1)根据器件的连接关系构建容器;
(2)根据所述容器,判断器件是否形成特殊环路会导致方程组无解;
(3)根据所述容器,判断优化是否会形成特殊环路导致方程组无解。
2.根据权利要求1所述的集成电路自动化设计中方程组解的存在性检查方法,其特征在于,在所述步骤(1)进一步包括以下步骤:
对容器进行初始化,初始化后的容器为空;
遍历网表中的器件,分析器件的特性;
根据器件的连接关系构建容器。
3.根据权利要求1所述的集成电路自动化设计中方程组解的存在性检查方法,其特征在于,在所述步骤(2)进一步包括以下步骤:
判断为是,则报错退出;
判断为否,则遍历下一个器件,并更新容器。
4.根据权利要求1所述的集成电路自动化设计中方程组解的存在性检查方法,其特征在于,在所述步骤(3)进一步包括以下步骤:
判断为是,则取消对器件的优化;
判断为否,则短接器件,更新容器,优化下一个器件。
5.根据权利要求1所述的集成电路自动化设计中方程组解的存在性检查方法,其特征在于,在所述步骤(2)中,通过判断器件的两个端口是否具有同一属性来判断是否存在特殊环路。
6.根据权利要求1所述的集成电路自动化设计中方程组解的存在性检查方法,其特征在于,在所述步骤(3)中,通过判断需要短接的器件的两个端口是否具有同一属性来判断对器件的优化是否形成特殊环路。