Microprocessor Test and Verification (MTV'09)

WebPage: http://mtv.ece.ucsb.edu/MTV/

Papers: Authors are invited to submit postscript or PDF versions of their papers (maximum 6 pages), with author names, affiliation, addresses, telephone and fax numbers, e-mail address, and the person who will present the work if accepted. Authors of accepted papers can choose to submit the full paper for inclusion in the formal Workshop proceeding published by IEEE.

AUTHOR’S SCHEDULE: Submission deadline: Sept 1, 2009; Notification: Oct 1, 2009; Final version: Nov 1, 2009

Description - Workshop Scope

The purpose of MTV'09 is to bring together researchers and practitioners from all areas of work related to verification and test in order to exchange innovative ideas and present new methodologies for solving the challenges facing us today in various processor and SOC design environments. The workshop will take place in Austin, Texas, the live music capital of the world.
Areas of Interest

* Validation of microprocessors and SOCs
* Experiences on test and verification of high performance processors and SOCs
* Test/verification of multimedia processors and SOCs
* Performance testing
* High-level test generation for functional verification
* Emulation techniques
* Silicon debugging
* Formal techniques and their applications
* Verification coverage
* Test generation at the transistor level
* Equivalence checking of custom circuits at the transistor level
* ESL Methodology
* Virtual Platforms
* Software verification
* Circuit level verification
* Switch-level circuit modeling
* Timing verification techniques
* Path analysis for verification or test
* Design error models
* Design error diagnosis
* Design for testability or verifiability
* Optimizing SAT procedures for application to testing and formal verification