Mathematical Methods to Improve Post-Silicon Debug