posted by user: wimmer || 5418 views || tracked by 7 users: [display]

MTV 2010 : International Workshop on Microprocessor Test and Verification

FacebookTwitterLinkedInGoogle


Conference Series : Microprocessor Test and Verification
 
Link: http://mtvcon.org/
 
When Dec 13, 2010 - Dec 14, 2010
Where Austin, Texas, USA
Submission Deadline Sep 15, 2010
Notification Due Oct 15, 2010
Final Version Due Nov 10, 2010
Categories    test   verification   formal methods
 

Call For Papers

CALL FOR PAPERS

11th International Workshop on
Microprocessor Test and Verification (MTV 2010)
Common Challenges and Solutions
December 13-14, 2010, Hyatt Regency On Town Lake,
Austin, Texas, USA.

WEBSITE: http://mtvcon.org (http://mtvcon.org/) (includes Obsidian's scholarship info)

General Chair: Magdy S. Abadir (Freescale, USA) m.abadir@freescale.com
Program co-Chair: Li-C. Wang (UCSB, USA) licwang@ece.ucsb.edu
Program co-Chair: Jay Bhadra (Freescale, USA) jayanta.bhadra@freescale.com

THE PURPOSE of this workshop 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 11th 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, but not limited to):

Validation of microprocessors and SOCs
Test/Verification of multimedia processors
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
ESL Methodology
Virtual Platforms
Software verification
Circuit level verification
Switch-level circuit modeling
Timing validation techniques
Path analysis for verification or test
Design error models
Design error diagnosis
Design for Testability or Verifiability
Optimizing SAT procedures with applications to testing and formal verification

AUTHOR INFORMATION:

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.
Special Sessions, Panels and Tutorials: Proposals for special sessions, panels
and tutorials are also invited. Please email the abstract of your proposals
directly to the program chair as early as possible before paper
submission deadline.

ORGANIZING COMMITTEE:

Publication: Aseem Gupta (Freescale)
Publicity: Himyanshu Anand (Freescale)
DVClub: Eric Hennenhoefer (Obsidian)
European/Asia: Alper Sen (Bogazici U.)
Committee: Andreas Veneris (U. of Toronto)
Committee: Moshe Levinger (IBM)

Submit papers through the MTV website: http://mtvcon.org (http://mtvcon.org/)

AUTHOR'S SCHEDULE:

Submission deadline: Sept 15, 2010;
Notification: Oct 15;
Final version: Nov 10, 2010

Obsidian's MTV 2010 Scholarship

Scholarships will be made available to graduate students performing
research in the field of processor verification and to recent
graduates with less than three years experience. The deadline
for scholarship applications is October 1, 2010. Potential applicants
are encouraged to apply online at:
http://www.obsidiansoft.com/community/mtvcon-scholarship/

Related Resources

ICCD 2022   International Conference on Computer Design
ModeVVa 2022   19th Workshop on Model Driven Engineering, Verification and Validation
SEFM 2022   20th International Conference on Software Engineering and Formal Methods
VLSI-SOC 2022   30th IFIP/IEEE International Conference on Very Large Scale Integration
FMCAD 2022   Formal Methods in Computer-Aided Design
DATE 2022   Design, Automation, and Test in Europe
SBMF 2022   25th Brazilian Symposium on Formal Methods
VSTTE 2022   14th International Conference on Verified Software: Theories, Tools, and Experiments
SECURWARE 2022   International Conference on Emerging Security Information, Systems and Technologies
AST 2022   3rd ACM/IEEE International Conference on Automation of Software Test