loading...
  • M
  • MTV
  • 2003
  • Fourth International Workshop on Microprocessor Test and Verification Common Challenges and Solutions
Advanced Search 
Fourth International Workshop on Microprocessor Test and Verification Common Challenges and Solutions
Hyatt Town Lake Hotel, Austin, Texas
May 29-May 30
ISBN: 0-7695-2045-6
Table of Contents
null
Session A: Functional Test Generation
null
Allon Adir, IBM Research Laboratory in Haifa
Roy Emek, IBM Research Laboratory in Haifa
Yoav Katz, IBM Research Laboratory in Haifa
Anatoly Koyfman, 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
Keynote Speech
Session C: Issues in Microprocessor Test and Verification
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
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
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
Emmanuel Zarpas, IBM Haifa Research Laboratory, University Campus
pp. 75
Session G: Embedded System Validation
null
Alessandro Fin, Universit? di Verona, Italy
Franco Fummi, Universit? di Verona, Italy
Massimo Poncino, Universit? di Verona, Italy
Graziano Pravadelli, Universit? di Verona, Italy
pp. 89
Session H: Simulation Techniques
Debayan Bhaduri, Virginia Polytechnic and State University, Blacksburg, VA
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
Usage of this product signifies your acceptance of the Terms of Use.