Conference Program    Technical Session

WEDNESDAY, July 26, 2006, 8:30 AM - 10:00 AM | Room: 303
TOPIC AREA:  VERIFICATION AND TEST
(of special interest to designers)

   SESSION 20
  Advanced Topics in Processor and System Verification
  Chair: Jon Michelson - Cisco Systems, Inc., San Jose, CA
  Organizers: Avi Ziv, Harry Foster

  The session presents four papers on dynamic verification and real-time fault detection in processors and systems-on-chip. The first two papers present various interesting aspects of successful verification of complex microprocessor (the Merom processor from Intel) and system-on-a-chip, (the Cell processor from Sony, Toshiba, IBM). The third paper describes methods for real-time detection and recovery from functional bugs, and the last paper deals with stimuli generation for a processor-based multimedia system-on-a-chip.

  20.1   Practical Methods in Coverage-Oriented Verification of the Merom Microprocessor
  Speaker(s): Alon Gluska - Intel Corp., Haifa, Israel
  Author(s): Alon Gluska - Intel Corp., Haifa, Israel
  20.2  Verification of the Cell Broadband Engine Processor
  Speaker(s): Sanjay Gupta - IBM Corp., Austin, TX
  Author(s): Kanna Shimizu - IBM Corp., Austin, TX
Sanjay Gupta - IBM Corp., Austin, TX
Tatsuya Koyama - Sony Computer Entertainment Inc., Tokyo, Japan
Takashi Omizo - Toshiba Corp., Ohme, Japan
Jamee Abdulhafiz - IBM Corp., Austin, TX
Yukio Watanabe - Toshiba Corp., Kawasaki, Japan
Larry McConville - IBM Corp., Austin, TX
Todd Swanson - IBM Corp., Austin, TX
  20.3s  Shielding Against Design Flaws with Field Repairable Control Logic
  Speaker(s): Ilya Wagner - Univ. of Michigan, Ann Arbor, MI
  Author(s): Ilya Wagner - Univ. of Michigan, Ann Arbor, MI
Valeria Bertacco - Univ. of Michigan, Ann Arbor, MI
Todd Austin - Univ. of Michigan, Ann Arbor, MI
  20.4s  Scheduling-based Test-case Generation for Verification of Multimedia SoCs
  Speaker(s): Amir Nahir - IBM Corp., Haifa, Israel
  Author(s): Amir Nahir - IBM Corp., Haifa, Israel
Avi Ziv - IBM Corp., Haifa, Israel
Roy Emek - Consultant, Tel Aviv, Israel
Nir Ronen - Zoran Corp., Haifa, Israel
Tal Keidar - Zoran Corp., Haifa, Israel