posted by user: 2011drmanojaggrawal || 3822 views || tracked by 9 users: [display]

MTV 2011 : 12th International Workshop on Microprocessor Test and Verification


Conference Series : Microprocessor Test and Verification
When Dec 5, 2011 - Dec 7, 2011
Where Austin, USA
Submission Deadline Sep 1, 2011
Notification Due Oct 15, 2011
Final Version Due Nov 10, 2011
Categories    microprocessor   test   verification

Call For Papers

The 12th annual workshop on Microprocessor Test and Verification will be held on December 5th through 7th, 2011 in Austin, TX. There will also be a coinciding DVClub event on December 7th at Cool River Cafe.

General Chair: Magdy S. Abadir, Freescale Semiconductor
Program Co-Chair: Jay Bhadra, Freescale Semiconductor
Program Co-Chair: Li-C. Wang, University of California at Santa Barbara


The purpose of MTV is to bring researchers and practitioners from the fields of verification and test together to exchange innovative ideas and to develop new methodologies to solve the difficult challenges facing us today in various processor and SOC design environments. In the past few years, some work has been done on exploiting techniques from test to solve problems in verification and vice versa. This is the 12th edition of the MTV Workshop, a testament to its success in providing an ideal environment for cross-examination of test and verification experiences and innovative solutions.

Areas of Interest include
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
Low Power verification
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

Related Resources

ICCD 2022   International Conference on Computer Design
iccq 2023   The Third International Conference on Code Quality
ModeVVa 2022   19th Workshop on Model Driven Engineering, Verification and Validation
PLACES 2023   14th Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software
ICST 2023   16th IEEE International Conference on Software Testing, Verification and Validation
DATE 2023   Design, Automation, and Test in Europe
EAI TRIDENTCOM 2022   17th EAI International Conference on Tools for Design, Implementation and Verification of Emerging Information Technologies
TACAS 2023   29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
A-TEST 2022   13th Workshop on Automating Test Case Design, Selection and Evaluation
InSTA 2023   10th International Workshop on Software Test Architecture