[发明专利]一种面向模拟IC有源器件的对称约束检测方法及系统

权利要求书

1.一种面向模拟IC有源器件的对称约束检测方法，其特征在于，包括以下步骤：

S1：根据模拟IC的网表，对所述模拟IC中的两个MOS器件之间的连接权重使用变量表示并对变量进行赋值，根据网表中两个MOS器件之间的连接状态使用所述变量进行编码，得到所述两个MOS器件之间的器件互连矢量fv_i,j；

S2：为模拟IC中的每一种初层基块赋以唯一的器件互连矢量，构成初层基块查找表，利用所述步骤S1中得到的器件互连矢量fv_i,j在所述初层基块查找表中进行匹配，若未匹配到与所述fv_i,j相同的器件互连矢量，则所述两个MOS器件之间不存在对称约束，若匹配到与所述fv_i,j相同的器件互连矢量，则判断所述器件互连矢量对应的初层基块是否能确定对称约束，若是，则输出初层基块对称约束和所述对应的初层基块，若否，则输出所述对应的初层基块；

S3：在所述步骤S2得到的初层基块中，若检测得到两个相邻的初层基块，利用所述两个相邻的初层基块的器件互连矢量求出所述两个相邻的初层基块之间的基块互连矢量HM_X,Y，执行S4；若未检测得到两个相邻的初层基块，则结束所述对称约束检测方法；

S4:为模拟IC中的每一种高层基块赋以唯一的基块互连矢量构成高层基块固定编码查找表，利用所述步骤S3中求出的HM_X,Y在所述高层基块固定编码查找表中进行匹配，若所述高层基块固定编码查找表中存在某一基块互连矢量的值与所述HM_X,Y相等，则判断与HM_X,Y对应的高层基块中存在对称约束，并输出高层基块对称约束。

2.根据权利要求1所述的方法，其特征在于，所述步骤S1的具体步骤为：根据模拟IC的网表，对MOS器件M_i的p端到MOS器件M_j的q端的连接权重使用变量进行表示，其中p∈{D、G、S}，q∈{D、G、S}，D、G和S表示MOS器件的D端、G端和S端，对每个所述变量赋以权重值，表示MOS器件M_i的p端到MOS器件M_j的q端的连接状态，当MOS器件M_i的p端到MOS器件M_j的q端存在连接时当MOS器件M_i的p端到MOS器件M_j的q端不存在连接时对MOS器件M_j的q端到MOS器件M_i的p端的连接权重使用变量进行表示，其中q∈{D、G、S}，p∈{D、G、S},D、G和S表示MOS器件的D端、G端和S端，对每个所述变量赋以权重值，表示MOS器件M_j的q端到MOS器件M_i的p端的连接状态，当MOS器件M_j的q端到MOS器件M_i的p端存在连接时当MOS器件M_i的p端到MOS器件M_j的q端不存在连接时将MOS器件M_i和MOS器件M_j之间的连接关系的特征向量记为MOS器件M_i和MOS器件M_j之间的器件互连矢量，表示为

fv_i,j＝(VC_i→j,VC_j→i)

其中，VC_i→j为MOS器件M_i到MOS器件M_j的矢量编码，且

VC_j→i为MOS器件M_j到MOS器件M_i的矢量编码，且