Fault Collapsing Efficiency Improvement in Digital Circuits with Implication and Topological Information
Shen Wang · Xi'an Jiaotong Daxue xuebao · 2008
To improve the efficiency of fault diagnosis in digital circuits,a novel method is proposed to solve inefficient compacting and complex computing in the traditional algorithms.Compared with traditional method,the rules that determine fault relations in special structure are summarized by analyzing fault detect function.The equivalence and dominance fault between node and its dominator with implications are identified,then the fault equivalence and dominance rule for reconvergent fan-out stem and branches is also found out,which is not only depended on topological structure in circuit,namely,inversion parity of branches,but also influenced by logic function of reconvergent point.Moreover,the fault collapsing method using implication and topological information is presented.The experimental results based on ISCAS85 benchmark show that this method enables to identify equivalence and dominance fault in circuit effectively with a slight computation task.