Panel: What's the next 'big thing' in simulation-based verification? - Moshe Levinger; Avi Ziv; Brian Bailey; Jacob Abraham; Bob Bentley; William H. Joyner; Yaron Kas (HLDVT, 2003)