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

摘要

一种EDIF网表级组合逻辑电路的自动故障注入方法，本发明涉及电路的自动故障注入方法。本发明的目的是为了解决现有基于模拟的故障注入需要解决与EDA仿真软件的接口问题。过程为：一、对原始网表文件进行处理；二、选择1个网线注入Sa‑0，设置故障点；三、进行前向遍历；四、进行后向传播；五、生成故障等效电路，判断是否注入Sa‑1，否转六；是转七；六、判断是否还有未设置故障的网线，是转二至六；否故障注入结束；七、对二中网线注入Sa‑1，设置故障点；进行前向遍历；八、进行后向传播判断输入值是否影响逻辑门的功能；十、判断是否还有未设置故障的网线，是转七至十；否故障注入结束。本发明用于电路的自动故障注入领域。

主权项

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，若有，执行步骤七至步骤十；若没有，故障注入结束。