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

Peikun Wang, Amir Masaud Gharehbaghi, Masahiro Fujita
2020 IPSJ Transactions on System LSI Design Methodology  
In this paper, we propose a logic optimization method to remove the redundancy in the circuit. The incremental 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.
doi:10.2197/ipsjtsldm.13.35 fatcat:vft27es3zra4xldze7g7jdysli