[发明专利]一种面向输入向量的RTL级电路可靠性计算方法

权利要求书

1.一种面向输入向量的RTL级电路可靠性计算方法，其特征在于，所述计算方法包括以下步骤：

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

1.1)读取RTL级电路网表，并初始化相关变量；

1.2)若所有模块均已解析完成，则返回模块链表LC，并转至步骤2；否则，提取电路的第k个模块；

1.3)若到达模块网表末尾，则转至1.7)；否则，读取该网表的第i条记录N_i；

1.4)若N_i为基本门单元，则转至1.5)；否则，读取该模块单元信息，并转至1.5)；

1.5)若该节点的输入源均已知，则将N_i置入到对应该模块的完整性链表LC_k的末尾；否则，将N_i置入到对应该模块的非完整性链表LU_k的末尾；

1.6)执行i＝i+1，并转至1.3)；

1.7)遍历该模块的非完整性链表LU_k；

1.8)若LU_k为空，则转至1.12)；否则，读取LU_k中的节点N_j；

1.9)遍历LC_k，并从中提取N_j的已知输入源；

1.10)若N_j的输入源均已知，则将N_j置入到LC_k的末尾，并将其从LU_k中删除；

1.11)执行j＝j+1，并转至1.8)；

1.12)将LC_k保存到LC的相关位置，执行k＝k+1，并转至1.2)。

步骤2：利用SCA方法计算RTL级电路的可靠性，过程如下：

2.1)遍历LC中的顶层链表TLC，若到达其末尾，则输出电路的可靠性并结束算法；否则，从TLC中提取一个新节点；

2.2)若该节点为基本门单元，则利用SCA方法计算该节点的输出概率分布；否则，从LC中读取该节点所对应模块链表LC_k的相关信息，并从其上层链表PLC_k中提取LC_k的输入概率分布，转至2.6)；

2.3)若该节点来源于TLC，则将该节点的输出概率分布置入到TLC的相应位置；否则，将该节点的输出概率分布置入到其所对应模块链表LC_k的相应位置，并转至2.7)；

2.4)若该节点的输出端是电路的原始输出端，则利用SCA方法计算电路的输出可靠性；

2.5)转至2.1)；

2.6)若到达该链表的末尾，则从该链表所在的上层链表中提取该链表所对应的节点，并转至2.4)；否则，从该链表中提取新节点，并转至2.2)；

2.7)若节点的输出端为其所在模块的原始输出端，则将该节点的输出概率分布置入到其上层链表PLC_k的相应位置；

2.8)转至2.6)。