6th 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

a service of Schloss Dagstuhl - Leibniz Center for Informatics