IPESC
Home Conference Program Exhibition Advisory Board Press Group Practical Information


Session: System Debugging & Modelling
Wednesday December 2, 2009, 15:30 - 17:00 | Room: Kilimandjaro

Moderated by:




Pankaj Singh
Infineon
  • "Low Pin-count Debug Interfaces for Multi-device Systems" by Michael Williams (ARM Limited)

  • "Accelerating the development of TLM-2.0 models using MAK’s" by Markus Willems (Synopsys)

  • "Transaction Analysis and Debug across Language Boundaries and between Abstraction Levels" by Rich Edelman (Mentor Graphics)

  • "Verification of USB 3.0 Device IP Core in Multi-Layer SystemC Verification Environment " by Ireneusz Sobanski (Evatronix S.A.)

  • "A Coverage-Driven Verification Methodology to Efficiently Increase the Quality of IP" by Gaurav Kumar Verma (Mentor Graphics)

  • "Methodology for Rapid Development of Loosely Timed and Approximately Timed TLM Peripherals" by Mukundan Kadambi Narasimhachar (MindTree Ltd)

  • "ABQ: Assertion Based Qualifier Methodology for Pre Existing Environment" by Krishnan Ramakrishnan (Samsung India )