Home	Conference Program	Exhibition	Advisory Board	Press Group	Archives	Practical Information

Moderated by:

Helena Krupnova STMicroelectronics

• "Improving Verification Efficiency Using Application Specific Instruction Processors" by Frank Schirrmeister, Achim Nohl, Drew Taussig (Synopsys)
  
  
• "Formal Methods to Verify the Power Manager for an Embedded Multiprocessor Cluster" by Kesava Talupuru (MIPS Technologies Inc.)
  
  
• "Guidelines for successful SoC Verification in OVM/UVM" by Moataz El Metwally (Mentor Graphics)