related documents Emulation-based selection and assessment of assertion checkers for post-silicon validation Conferences
