A Logic Optimization Method by Eliminating Redundant Multiple Faults from Higher to Lower Cardinality

: In this paper, we propose a logic optimization method to remove the redundancy in the circuit. The incre- mental Automatic Test Pattern Generation method is used to find the redundant multiple faults. In order to remove as many redundancies as possible, instead of removing the redundant single faults first, we clear up the redundant faults from higher cardinality to lower cardinality. The experiments prove that the proposed method can successfully eliminate more redundancies comparing to the redundancy removal command in the synthesis tool SIS.