9.1 Adelante VD3204x Core, SubSystem and SoC Verification: What is Verified Where, Why and How?
Roger Witlox, Ronald Heijmans, Chris Wieckardt - NXP Semiconductors

9.2 Verification of a next-generation single-chip Analog TV and Digital TV ASIC
Yj Patil - Genesis Microchip Inc.
Dean D'Mello - Cadence Design Systems, Inc.

9.3 Challenges and Practical Lessons Learned in the Verification of an Ultra-High Performance Game-Physics Processing ASIC
Badri Gopalan, Otto Schmid, Monier Maher, Yu Shan, William Bean, Sanjay Patel - Ageia Technologies
Mahesha Puttanna - Wipro Technologies