8. MTV 2008: Austin, TX, USA

Multi-core Verification

Sequential Equivalence Checking Paradigm

Debug

Power Management Verification

Advanced Verification Methodologies

Delay Fault Testing