Call for Papers
5th International Workshop on

 Microprocessor Test and Verification
(MTV'04)
Common Challenges and Solutions
September 9-10, 2004, Austin, Texas, USA

Sponsored by: IEEE Computer Society Test Technology Technical Council
   
General Chair: Magdy S. Abadir (mailto:m.abadir@motorola.com), Freescale (Motorola)
Program Chair: Li-C. Wang (licwang@ece.ucsb.edu), UCSB
Submission instructions
Please e-mail your paper and/or panel proposal as postscript or PDF file to licwang@ece.ucsb.edu
Submission due date extended to: June 28, 2004
Acceptance notificaion: July 15, 2004
Final version due date: August 15, 2004
Hotel Registration
Attendees should contact the Hyatt Town Lake Hotel directly to make reservations.

Hyatt Town Lake
208 Barton Springs Road
Austin, Texas 78704
Reservation Number: 1 (800) 233-1234 or (512) 477-1234

Hotel rates will be available in July.

  Conference Registration (Deadline TBA)
Online registration will be available in early August.
 Description - Workshop Scope
The purpose of MTV'04 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: Andreas Veneris (Univ. of Toronto)
    Panel: Al Crouch (Inovys)
    Publicity: Michael R. Grimaila (Texas A&M Univ)
    Committee:
    		 Moshe Levinger (IBM - Israel)
     Program Committee
    Jacob Abraham (UT-Austin)
    Tony Ambler (UT-Austin)
               Hussain AL-Asaad (UC-Davis)
    Dilip Bhavsar (Intel)
               Eyal Bin, IBM - Haifa
    Shawn Blanton (CMU)
    Melvin Breuer (USC)
    Ken Butler (TI)
    K.-T. (Tim) Cheng (UCSB)
    Sujit Dey (UCSD)
    Franco Fummi (Universita `di Verona)
    Sandeep Gupta (USC)
    Ian Harris (U. Mass.)
    John Hayes (U. Michigan)
    Eric Hennenhofer (Obsidian, Inc.)
    Alan J. Hu (UBC, Canada)
    Ahmed Jerraya (TIMA/INPG)
    T. M. Mak (Intel)
    Sankaran Menon (Intel)
    Manish Pandey (Verplex)
    Carl Pixley (Synopsys, Inc.)
    Paolo Prinetto (Poli di Torino)
    Michael J Rodgers (Intel)
    C. J. Richard Shi (U. of Washington)
    Nur Touba (UT-Austin)
    Miroslav Velev (CMU)
    Andreas Veneris (U. of Toronto, Canada)
    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 2003 Call for Papers.
  • MTV 2002 was held in Austin in June 5-6, 2002.
  • MTV 2002 Web site can be found HERE.
    All contents copyright © 2001,2002,2003,2004 All Rights Reserved.
    Last modified: June 2, 2004
    URL: http://ece.tamu.edu/MTV