Protocol Guided Trace Analysis for Post-Silicon Debug Under Limited Observability