[发明专利]一种面向电路结构的快速有效关键性单元定位方法

权利要求书

1.一种面向电路结构的快速有效关键性单元定位方法，其特征在于，所述方法包括以下步骤：

步骤1：网表解析及相关量的初始化，过程如下：

1.1)读取网表并构建电路的完整性链表LC，提取电路的原始输入端数PI及电路单元个数Ng，初始化循环变量h＝1，其中完整性链表LC指链表中任意节点的输入端信息均可从该节点的前序节点的输出端信息中提取得到；

1.2)提取电路的第h个输入向量siv_h；

步骤2：针对siv_h，利用SCA方法计算LC中第i个节点在故障情况下的输出信号fopt_i与理想情况下的输出信号iopt_i以及关键性量化值CrtVl_i，其中i＝1,2,…,Ng；

步骤3：提取LC中的第i个电路单元gi及其输入端的个数mi，并标识其第j个输入端的关键度Crtl_i，j，初始化其一级关键扇出数量focrtlo_i与二级关键扇出数量focrtlt_i，其中i＝1,2,…,Ng，j＝1,2,…,mi；

步骤4：提取siv_h下电路的关键性电路单元集，过程如下：

4.1)从LC中提取电路的原始输出端及其所关联的电路单元g_Ng；

4.2)从g_Ng开始通过反向深度优先搜索算法提取由步骤3所标识的关键性互连线所串联的电路单元，它们构成了siv_h下的关键性电路单元集；

步骤5：量化LC中各电路单元的关键度，并按关键度大小顺序输出相对应的电路单元。

2.如权利要求1所述的一种面向电路结构的快速有效关键性单元定位方法，其特征在于，所述步骤5的处理过程如下：

5.1)初始化输入向量循环变量s＝1，收敛状态变量flag＝0，初始迭代次数系数Initialiter，检测收敛系数Detcvg，正反馈强度系数p，正反馈消散系数dp；

5.2)利用式(6)计算电路规模参数csc，利用式(7)计算理论输入向量个数IptmaxNum，其中power(a,b)表示a的b次方；

csc＝PI×Ng             (6)

IptmaxNum＝power(2,PI)         (7)

5.3)产生siv_h，并利用步骤4提取LC中的关键性电路单元集KLC；

5.4)从LC中提取编号为r的单元gr，若gr∈KLC，则执行Crt_r＝1，并读取其CrtVl_r，focrtlo_r与focrtlt_r；否则，执行Crt_r＝0；其中，Crt_r指LC中编号为r的单元的关键性状态，r＝1,2,…,Ng；

5.5)利用式(8)计算siv_h下KLC中针对所有单元的关键性平均值CrtAvg_h；

5.6)若focrtlt_r/focrtlo_r2，则利用式(9)计算单元gr的二次关键性CrtVlt_r；否则，利用式(10)计算CrtVlt_i；其中，sqrt()表示平方根，r＝1,2,…,Ng；

CrtVlt_r＝sqrt(focrtlo_r)×CrtAvg_r×Crt_r    (9)

CrtVlt_r＝sqrt(focrtlt_r)×CrtAvg_r×Crt_r    (10)

5.7)利用式(11)计算当前gr的关键总值CrtVls_i，其中r＝1,2,…,Ng；

CrtVls_i＝CrtVls_i+CrtVlt_i      (11)

5.8)若h≥Initialiter×csc，则转至5.9)；否则，执行h＝h+1，并转到5.3)；

5.9)根据5.7)所获取的关键总值由大到小的次序对LC中各单元进行排序，并将排序结果存储在gatesort_s中；

5.10)若s≥2且gatesort_s＝gatesort_s-1，则执行flag＝flag+1；否则，执行flag＝0；

5.11)若flagDetcvg*csc，转至5.12)；否则，转至5.17)；

5.12)利用式(12)计算gr在gatesort_s中的排名修正系数frank_r,s，利用式(13)计算第s次更新的收敛修正系数fc_s，其中，length(gatesort_s)指gatesort_s的长度，rank_s指gr在gatesort_s中的有序序号，r＝1,2,…,Ng；

5.13)若hIptmaxNum，则执行fs_s＝1；否则，利用式(14)获取fs_s；

5.14)利用式(15)计算正反馈系数pfd_r,s，并利用式(16)对gr的CrtVls_r进行修正，r＝1,2,…,Ng；

frank_r,s＝(length(gatesort_s)-rank_s)/length(gatesort_s)    (12)

fc_s＝(flag-1)/(Detcvg×csc)     (13)

fs_s＝h/IptmaxNum      (14)

pfd_r,s＝(frank_r,s*fc_s+fs_s)×p/2+1    (15)

CrtVls_r＝CrtVls_r×pfd_r,s     (16)

5.15)若sdp×csc，则利用式(17)对gr的CrtVls_r进行修正；r＝1,2,…,Ng；

CrtVls_r＝CrtVls_r/pfd_r,s-dp*csc     (17)

5.16)执行h＝h+1与s＝s+1，并转到5.3)；

5.17)输出gatesort_s，结束。

3.如权利要求1或2所述的一种面向电路结构的快速有效关键性单元定位方法，其特征在于，所述步骤3的处理过程如下：

3.1)初始化i＝1；

3.2)若i＝Ng，则转到步骤4)；否则，提取LC中的第i个单元gi，以及其iopt_i，理想输入信号向量iipt_i与mi，并初始化循环变量j＝0；

3.3)若j＝mi，则执行i＝i+1，并转到3.2)；否则，执行j＝j+1，并转至3.4)；

3.4)对gi第j个输入端的理想输入信号iipt_i(j)取反，并计算在该情况下gi的输出信号tfopt_i，j；

3.5)若tfopt_i，j＝iopt_i，标识gi的第j个输入端为非关键，并执行Crtl_i，j＝0；否则，标识gi的第j个输入端为关键，执行Crtl_i，j＝1；

3.6)若Crtl_i，j＝1，提取gi第j个输入端所连接的前向单元gpi及其在LC中的编号t1，并执行focrtlo_t1＝focrtlo_t1+1，转到3.7)；否则，转到3.3)；

3.7)初始化循环变量k＝1，并提取gpi的输入端个数mt1；

3.8)若Crtl_t1，k＝1，则提取gpi第k个输入端所连接的前向单元gppi及其在LC中的编号t2，并执行focrtlt_t2＝focrtlt_t2+1；

3.9)若k＝mt1，转到3.3)；否则，执行k＝k+1，并转到3.8)。