Bridging pre-silicon verification and post-silicon validationAmir NahirAvi Zivet al.2010DAC 2010Conference paper