Harry Foster, Chief Scientist Verification, Digital Verification Technology, Siemens EDA; Jean-Marie Brunet, VP & GM, Hardware-Assisted Verification, Siemens EDA; Abhi Kolpekwar, VP & GM, Digital Verification Technology, Siemens EDA