posted by user: wimmer || 1353 views || tracked by 5 users: [display]

MTV 2014 : 15th International Workshop on Microprocessor Test and Verification


Conference Series : Microprocessor Test and Verification
When Dec 15, 2014 - Dec 17, 2014
Where Austin, TX, USA
Submission Deadline Sep 15, 2014
Notification Due Oct 15, 2014
Final Version Due Nov 10, 2014
Categories    verification   formal methods   microprocessors   test

Call For Papers


The 15th annual workshop on Microprocessor Test and Verification will be held in Austin, TX on Dec 15-17, 2014.
General Chair: Magdy S. Abadir
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 15th 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
SAT for testing and formal verification
Security Verification

Related Resources

HLDVT 2016   IEEE International High-Level Design Validation and Test Workshop
NFM 2017   The 9th NASA Formal Methods Symposium
FSEN 2017   Fundamentals of Software Engineering
DATE 2016   Design Automation and Test in Europe
DATE 2017   Design, Automation, and Test in Europe
QEST 2017   14th International Conference on Quantitative Evaluation of SysTems
ICST 2017   IEEE International Conference on Software Testing, Verification and Validation (ICST) 2017
SCSS 2017   The 8th International Symposium on Symbolic Computation in Software Science
ATVA 2016   14th International Symposium on Automated Technology for Verification and Analysis
TIME 2016   23rd International Symposium on Temporal Representation and Reasoning