Switch-level modeling of feedback faults using global oscillation control

To simulate the effects of feedback bridging faults accurately, it is necessary to take into account both the conflict between signals of opposite logic values and the oscillation or asynchronous behavior induced by global feedback loops. This papers presents a method for detecting and processing global feedback dynamically in logic simulation. The problem of asynchronous behavior in feedback paths with an even number of inversions is solved by breaking the feedback and evaluating the possible stable states separately. Simulation experiments show that the uncertainty in fault diagnosis can be significantly reduced by incorporating the proposed technique for feedback analysis.