Neural Fault Analysis for SAT-based ATPG