publication venue for Emulation-based selection and assessment of assertion checkers for post-silicon validation 2015