Post-silicon Fault Localization with Satisfiability Solvers -- Coverage Evaluation and