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

maintained by Schloss Dagstuhl LZI at University of Trier