Abstract As the complexity and scope of VLSI designs continue to grow, fault detection processes in pre-silicon stage have become crucial guaranteeing reliability IC design. Most algorithms can be solved by transforming them into a satisfiability (SAT) problem decipherable SAT solvers. However, solvers consume significant computational time, as result search space explosion problem. This ever- ...