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) [email protected] *Program co-Chair*: Li-C. Wang (UCSB, USA) [email protected] *Program co-Chair*: Jay Bhadra (Freescale, USA) [email protected] 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
_______________________________________________ Om-announce mailing list [email protected] http://openmath.org/mailman/listinfo/om-announce
