4th MTV 2003: Dallas, TX, USA

Functional Test Generation

Special Session, Research at University of Texas and Texas A&M

Issues in Microprocessor Test and Verification

Debug and Diagnosis

SAT and ATPG

Embedded System Validation

Case Study

High-Level Verification

a service of Schloss Dagstuhl - Leibniz Center for Informatics