Microprocessor Test Verification

Call for Papers
6th International Workshop on

Microprocessor Test and Verification
(MTV'05)
Common Challenges and Solutions
November 3-4, 2005, Austin, Texas, USA

Sponsored by:	IEEE Computer Society Test Technology Technical Council

General Chair:	Magdy S. Abadir (M.Abadir@freescale.com), Freescale
Program Chair:	Li-C. Wang (licwang@ece.ucsb.edu), UCSB
Program Co-Chair:	Andreas Veneris (veneris@eecg.toronto.edu ) U. of Toronto, Canada

Submission instructions

Please e-mail your paper and/or panel proposal as postscript or PDF file to
licwang@ece.ucsb.edu veneris@eecg.toronto.edu
New Submission due date: August 31, 2005
Acceptance notification: Sep 10, 2005
Final version due date: Oct 10, 2005

Hotel

Hotel contract is under negotiation. We will post the hotel information in September.

Conference Registration (Deadline TBA)

Online registration will be available in September.

Description - Workshop Scope

The purpose of MTV'05 is to bring together researchers and practitioners from all areas of work related to verification and test in order to exchange innovative ideas and present new methodologies for solving the challenges facing us today in various processor and SOC design environments. The workshop will take place in Austin, Texas, the live music capital of the world.

Areas of Interest

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
Formal techniques and their applications
Verification coverage
Test generation at the transistor level
Equivalence checking of custom circuits at the transistor level
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

Organizing Committee

Finance:	M. Ray Mercer (Texas A&M Univ)
Publication:	Jennifer Dworak (Brown Univ)
Panel:	Al Crouch (Inovys)
Publicity:	Tao Feng (Cadence)
Committee:	Moshe Levinger (IBM - Israel)

Program Committee

Jacob Abraham (UT-Austin); Miron Abramovici (DAFCA)
Hussain Al-Asaad (UC-Davis): Tony Ambler (UT-Austin); Jayanta Bhadra (Freescale); Eyal Bin (IBM - Haifa); Shawn Blanton (CMU); Melvin Breuer (USC); Ken Butler (TI); Yiring-An Chen (Synopsys); K.-T. (Tim) Cheng (UCSB); Nick Dutt (UCI); Sujit Dey (UCSD)
Ajit Dingankar (Intel): Franco Fummi (Universita `di Verona); Mike Garcia (Freescale); Sandeep Gupta (USC); Ian Harris (U. Mass.); John Hayes (U. Michigan); Eric Hennenhofer (Obsidian, Inc.); Alan J.Hu (UBC, Canada); T.M.Mak (Intel); Anmol Mathur (Calypto); Hillel Miller (Freescale); Sankaran Menon (Intel); Manish Pandey (Cadence); Carl Pixley (Synopsys, Inc.); Paolo Prinetto (Poli di Torino); Alper Sen (Freescale); C.J.Richard Shi (U. of Washington); Nur Touba (UT-Austin); Miroslav Velev (CMU); T. W. Williams (Synopsys); Cheng-Wen Wu (National Tsing-Hua University); Paul R Zehr (Intel); Yervant Zorian (MirageLogic)

Past MTV workshop Information

The original MTV 2004 Call for Papers.
MTV 2004 was held in Austin in September, 2004.
MTV 2004 Web site can be found HERE.