The Community for Technology Leaders
RSS Icon
Subscribe
Fifth International Workshop on Microprocessor Test and Verification (MTV'04) (2003)
Hyatt Town Lake Hotel, Austin, Texas
May 29, 2003 to May 30, 2003
ISBN: 0-7695-2045-6
TABLE OF CONTENTS
Preface (PDF)
pp. vii
pp. viii
Session A: Functional Test Generation
null (PDF)
pp. null
Roy Emek , IBM Research Laboratory in Haifa
Yoav Katz , IBM Research Laboratory in Haifa
Allon Adir , IBM Research Laboratory in Haifa
pp. 3
Mrinal Bose , Motorola Inc., Austin, TX
Mark H. Nodine , Motorola Inc., Austin, TX
William R. Jurasz, Jr. , Motorola Inc., Austin, TX
Vlad Zavadsky , Motorola Inc., Austin, TX
Arvind Chodavadia , Motorola Inc., Austin, TX
Lincoln R. Nunes , Motorola Inc., Austin, TX
pp. 7
Session B: Special Session, Research at University of Texas and Texas A&M
null (PDF)
pp. null
Wangqi Qiu , Texas A&M University
pp. 19
pp. null
Session C: Issues in Microprocessor Test and Verification
null (PDF)
pp. null
Elham Safi , University of Tehran, Iran
Zohreh Karimi , University of Tehran, Iran
Maghsoud Abbaspour , University of Tehran, Iran
Zainalabedin Navabi , University of Tehran, Iran
pp. 38
Session E: Debug and Diagnosis
null (PDF)
pp. null
Alexander Klaiber , Transmeta Corporation
Sinclair Chau , Transmeta Corporation
pp. 47
Yu-Shen Yang , University of Toronto, ON
J. Brandon Liu , University of Toronto, ON
Paul Thadikaran , Intel Corporation, Architecture Group, Hillsboro, OR
Andreas Veneris , University of Toronto, ON
pp. 54
Session F: SAT and ATPG
null (PDF)
pp. null
A. Bhalla , Technical University of Lisbon, Portugal
I. Lynce , Technical University of Lisbon, Portugal
J.T. de Sousa , Technical University of Lisbon, Portugal
J. Marques-Silva , Technical University of Lisbon, Portugal
pp. 69
Ohad Shacham , IBM Haifa Research Laboratory, University Campus
pp. 75
Session G: Embedded System Validation
null (PDF)
pp. null
Franco Fummi , Universit? di Verona, Italy
Massimo Poncino , Universit? di Verona, Italy
Graziano Pravadelli , Universit? di Verona, Italy
pp. 89
Session H: Simulation Techniques
Madhup Chandra , Virginia Polytechnic and State University, Blacksburg, VA
Hiren Patel , Virginia Polytechnic and State University, Blacksburg, VA
Shekhar Sharad , Virginia Polytechnic and State University, Blacksburg, VA
Syed Suhaib , Virginia Polytechnic and State University, Blacksburg, VA
pp. 103
Session I: Case Study
Session K: High-Level Verification
null (PDF)
pp. null
Matthew Heath , University of Massachusetts Amherst
Ian Harris , University of Massachusetts Amherst
pp. 119
Author Index (PDF)
pp. 125
11 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool