posted by user: wimmer || 4094 views || tracked by 8 users: [display]

MTV 2012 : 13th International Workshop on Microprocessor Test and Verification

FacebookTwitterLinkedInGoogle


Conference Series : Microprocessor Test and Verification
 
Link: http://mtvcon.org/
 
When Dec 10, 2012 - Dec 13, 2012
Where Austin, TX, USA
Submission Deadline Sep 1, 2012
Notification Due Oct 15, 2012
Final Version Due Nov 10, 2012
Categories    verification   test   microprocessors
 

Call For Papers

Overview
The 13th annual workshop on Microprocessor Test and Verification will be held on December 10th through 13th, 2012 in Austin, TX.

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

Scope
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 13th 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

CAV 2024   36th International Conference on Computer Aided Verification
FDL 2024   Forum on specification and Design Languages
ATVA 2024   22nd International Symposium on Automated Technology for Verification and Analysis
CSET 2024   Cyber Security Experimentation and Test (CSET)
AREA 2024   4th Workshop on Agents and Robots for reliable Engineered Autonomy
VST 2024   7th Workshop on Validation, Analysis and Evolution of Software Tests
CypressConf 2024   Test Automation Conference 2024
WMT-Testsuites 2024   'Help us break LLMs' - Test suite sub-task of the Ninth Conference on Machine Translation (WMT24)
RV 2024   Runtime Verification 2024
LANMR 2024   The 16th Latin American Workshop on New Methods of Reasoning Logic, Languages, Algorithms, New Methods of Reasoning