Text this: Probabilistic Bug-Masking Analysis for Post-Silicon Tests in Microprocessor Verification.