8. MTV 2007: Austin, TX, USA

Power Analysis

Formal Methods

System Level Validation and Test

Functional Validation and ATPG

AMS Verification

maintained by Schloss Dagstuhl LZI at University of Trier