MTV'04

Call for Participation
5th International Workshop on

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

Sponsored by:	IEEE Computer Society Test Technology Technical Council

General Chair:	Magdy S. Abadir (mailto:m.abadir@freescale.com), Freescale Semiconductor
Program Chair:	Li-C. Wang (licwang@ece.ucsb.edu), UCSB

Author Information

Please prepare your final version of the paper following IEEE conference format. The page limit is 6 pages.
Please e-mail your final paper in terms of PDF to the program chair (licwang@ece.ucsb.edu) by August 31, 2004.
Even though you do not plan to publish your paper in the formal proceeding, a title and abstract or an informal paper will be very useful for the audience. Hence, please submit an informal paper to be included in the informal proceeding any way.
For your presentation, please e-mail your PPT or PDF file to the program chair by September 6, 2004. We will bring a copy of the file to the MTV site for your convenience.

Online Registration for MTV04

Online registration can go to IEEE CS MTV registration web site. The advance registration deadline is August 23, 2004, 5pm EST/US.
Or you need to print the MTV 2004 registration form and fax to IEEE CS.

Hotel Registration

Attendees may 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

All reservations will be made by individuals by telephone (512-477-1234) .
Attendees will reference IEEE Computer Society MTV when making reservations.
The reservation cut-off date will be 22 August, 2004 at 5:00 p.m. Central time.
Reservations received after this date will be accepted by the Hotel on a space available basis at the conference rates and will be credited to the room block. Modifications made to existing reservations after this date will be treated as advance reservations.

The negotiated room rate is 118 single and 143 for double.

MTV 04 Program

MTV program is here.

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)