Satisfiability-Based Analysis of Failing Traces during Post-silicon Debug | IEEE Conference Publication | IEEE Xplore