publication venue for IP Session 4C: Bridging Pre-Silicon Verification and Post-Silicon Validation and Debug 2008