[发明专利]一种EDIF网表级组合逻辑电路的自动故障注入方法

权利要求书

1.一种EDIF网表级组合逻辑电路的自动故障注入方法，其特征在于：所述方法具体过程为：

步骤一、遍历原始网表文件，对原始网表文件进行预处理；

步骤二、对网线列表$Nets中的1个网线$Net选择故障类型Sa-0，在网线$Net上设置故障点；

步骤三、根据该故障点进行前向遍历，利用向逻辑门输入端的逆向查找，删除与该故障点对应的网线$Net相连接的逻辑门$toDel_Gate，及与该故障点对应的网线相关联的逻辑门；

步骤四、将该故障点的值向逻辑门输出端传播，根据逻辑门的类型判断输入值是否影响逻辑门的功能；

步骤五、步骤三、步骤四过程结束后，生成了选定网线的Sa-0故障等效电路，以网表文件格式存储，判断是否注入故障类型Sa-1，若否，执行步骤六；若是，执行步骤七；

步骤六、判断网线列表$Nets中是否还有未设置故障的网线$Net，若有，执行步骤二至步骤六；若没有，故障注入结束；

步骤七、对步骤二中网线$Net注入故障类型Sa-1，在网线$Net上设置故障点；根据该故障点进行前向遍历，利用向逻辑门输入端的逆向查找，删除与该故障点对应的网线$Net相连接的逻辑门$toDel_Gate，及与该故障点对应的网线相关联的逻辑门；

步骤八、将该故障点的值向逻辑门输出端传播，根据逻辑门的类型判断输入值是否影响逻辑门的功能；

步骤九、步骤七、步骤八过程结束后，生成了选定网线的Sa-1故障等效电路，以网表文件格式存储；

步骤十、判断网线列表$Nets中是否还有未设置故障的网线$Net，若有，执行步骤七至步骤十；若没有，故障注入结束。

2.根据权利要求1所述一种EDIF网表级组合逻辑电路的自动故障注入方法，其特征在于：所述步骤一中遍历原始网表文件，对原始网表文件进行预处理；具体过程为：

提取原始网表文件中全部网线，去除初始输入、初始输出，构造网线列表$Nets。

3.根据权利要求2所述一种EDIF网表级组合逻辑电路的自动故障注入方法，其特征在于：所述步骤三中根据该故障点进行前向遍历，利用向逻辑门输入端的逆向查找，删除与该故障点对应的网线$Net相连接的逻辑门$toDel_Gate，及与该故障点对应的网线相关联的逻辑门；具体过程为：

首先找到输出端与该故障点对应的网线$Net相连接的逻辑门$toDel_Gate,然后删除输出端仅与该故障点对应的网线$Net相连接的逻辑门。

4.根据权利要求3所述一种EDIF网表级组合逻辑电路的自动故障注入方法，其特征在于：所述步骤四中将该故障点的值向逻辑门输出端传播，根据逻辑门的类型判断输入值是否影响逻辑门的功能，具体过程为：

分为三种情况：

①逻辑门的功能不受影响，停止传播；

②逻辑门的输出总为“1”或者“0”，则标记该逻辑门为$toDel_Gate；删除逻辑门$toDel_Gate及逻辑门$toDel_Gate扇入区域内的逻辑门；然后，对与逻辑门$toDel_Gate输出端相连接的所有逻辑门@Gates，继续将该故障点的值向逻辑门输出端传播，直至到达电路的初始输出端；

③逻辑门的功能发生改变，则根据注入故障重新计算逻辑门的输入输出映射关系，修改原始网表文件中逻辑门的类型，并删除与该故障点对应的网线相连的输入端。

5.根据权利要求4所述一种EDIF网表级组合逻辑电路的自动故障注入方法，其特征在于：所述步骤七中对步骤二中网线$Net注入故障类型Sa-1，在网线$Net上设置故障点；根据该故障点进行前向遍历，利用向逻辑门输入端的逆向查找，删除与该故障点对应的网线$Net相连接的逻辑门$toDel_Gate，及与该故障点对应的网线相关联的逻辑门；具体过程为：

首先找到输出端与该故障点对应的网线$Net相连接的逻辑门$toDel_Gate,然后删除输出端仅与该故障点对应的网线$Net相连接的逻辑门。

6.根据权利要求5所述一种EDIF网表级组合逻辑电路的自动故障注入方法，其特征在于：所述步骤八中将该故障点的值向逻辑门输出端传播，根据逻辑门的类型判断输入值是否影响逻辑门的功能，具体过程为：

分为三种情况：

①逻辑门的功能不受影响，停止传播；

②逻辑门的输出总为“1”或者“0”，则标记该逻辑门为$toDel_Gate；删除逻辑门$toDel_Gate及逻辑门$toDel_Gate扇入区域内的逻辑门；然后，对与逻辑门$toDel_Gate输出端相连接的所有逻辑门@Gates，继续将该故障点的值向逻辑门输出端传播，直至到达电路的初始输出端；

③逻辑门的功能发生改变，则根据引入故障重新计算逻辑门的输入输出映射关系，修改原始网表文件中逻辑门的类型，并删除与该故障点对应的网线相连的输入端。