dblp.uni-trier.de www.uni-trier.de

6. MTV 2005: Austin, TX, USA

Magdy S. Abadir, Li-C. Wang (Eds.): Sixth International Workshop on Microprocessor Test and Verification (MTV 2005), Common Challenges and Solutions, 3-4 November 2005, Austin, Texas, USA. IEEE Computer Society 2005 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Introduction

Architecture Description Languages

SAT Applications

Debug and Diagnosis

High Level Test and ATPG

Validation

Advances in Verification Methodology for Complex Designs

Copyright © Sat Nov 28 22:20:40 2009 by Michael Ley (ley@uni-trier.de)