6. MTV 2005: Austin, TX, USA

Introduction

Architecture Description Languages

SAT Applications

Debug and Diagnosis

High Level Test and ATPG

Validation

Advances in Verification Methodology for Complex Designs