8. MTV 2008: Austin, TX, USA

Multi-core Verification

Sequential Equivalence Checking Paradigm

Debug

Power Management Verification

Advanced Verification Methodologies

Delay Fault Testing

maintained by Schloss Dagstuhl LZI at University of Trier