|
|
|
|
 Friday, February 23, 2007
|
|
9:00
|
Panel Session: Blended Coverage: A Recipe for Success (Donner Ballroom) |
||
10:00 |
Break |
||
Donner Ballroom |
Cascade Ballroom |
Siskiyou Ballroom |
|
10:30 |
Session 5 SystemVerilog DPI |
Session 6 Formal Verification |
Session 7 Advances in Research - I |
12:00 |
Lunch and Presentation: Does the Key to Verification Success Lie in the Language, Methodology, or Somewhere In-Between? (Oak Ballroom) sponsored by:  |
||
1:30 |
Session 8 Advanced Stimulus Generation |
Session 9 Real World Verification Applications |
Session 10 Advances in Research - II |
3:00 |
Break |
||
3:30 |
Embedded Tutorial 1 Unifying Low-Power Design with UPF |
Embedded Tutorial 2 Building a Transaction-Based Acceleration Regression Environment |
Embedded Tutorial 3 Re-usable Performance Verification of Interconnect IP Design |
5:00 |
Closing Session: 2007 Best Paper Award Presentation (Donner Ballroom) |
||