Data Reduction Techniques -- High-level Debugging of Post-silicon Failures --