Probabilistic Bug-Masking Analysis for Post-Silicon Tests in Microprocessor Verification. - Doowon Lee; Kolan, Tom; Morgenshtein, Arkadiy; Sokhin, Vitali; Mrad, Ronny; Ziv, Avi; Bertacco, Valeria (DAC: Annual ACM/IEEE Design Automation Conference, 2016)