HDMI 2.0 Rx PHY & Controller IP, Silicon Proven in TSMC 12FFC
![]() |
||||||
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
Session: Verification / Validation
Tuesday November 30, 2010, 16:00 - 17:15 | Room: Makalu
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)