[Om-announce] MTV 2011: Call for Papers

[MTV 2011]

Please accept our apologies if you receive multiple copies of the following
CFP. Please circulate as appropriate.

*CALL FOR PAPERS *

12th International Workshop on
*Microprocessor Test and Verification (MTV 2011)*
Common Challenges and Solutions
December 5-7, 2011, Hyatt Regency On Town Lake,
Austin, Texas, USA.

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

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


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, but not limited to*):


   - 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


*AUTHOR INFORMATION*:

By the paper deadline authors are invited to submit postscript or PDF
versions of their extended abstracts (max 2 pages) or papers (max 6 pages),
with author names, affiliation, addresses, telephone and fax numbers, e-mail
address, and the name of the person who will present the work if accepted.
Authors of accepted papers can choose to submit a full paper (max 6 pages)
that will be available through IEEE. The final camera ready version will be
due before the workshop. Detailed instructions about the process will be
provided at the time of acceptance.

*ORGANIZING COMMITTEE*:

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

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

*AUTHOR'S SCHEDULE*:

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

*Obsidian's MTV 2011 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, 2011.Applicants will be notified by October 29, 2011. Potential
applicants are encouraged to apply online at:
http://www.obsidiansoft.com/community/mtvcon-scholarship/

Regards,
Himyanshu
-- 
MTV Organizing Committee
http://mtvcon.org
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://openmath.org/pipermail/om-announce/attachments/20110520/04320822/attachment-0001.htm