Thursday Sessions - February 25, 2010
| Registration Hours: 8:00am - 4:00pm (Bayshore Foyer) | |||
| Donner Ballroom | Cascade Ballroom | Siskiyou Ballroom | |
| 8:30 - 10:00am |
Session 5
Formal/Semiformal Methods - I |
Session 6
User Case Studies - II |
Session 7
Potpourri |
| Coffee Break: 10:00 - 10:30am | |||
| 10:30am - 12:00pm |
Session 8
Formal/Semiformal Methods - II |
Session 9
Methodology - I |
Session 10
Low Power Verification |
| “Real-World Verification” Luncheon: 12:00 - 1:30pm (Pine/Cedar Ballroom) Sponsored by: Synopsys |
|||
| 1:30 - 3:00pm |
Session 11
Assertions |
Session 12
Methodology - II |
Session 13
User Case Studies - III |
| Coffee Break: 3:00 - 3:30pm | |||
| 3:30 - 5:00pm |
Panel: Ever-Onward! Minimizing Verification Time and Effort (Donner/Siskiyou Ballroom) |
||
| Closing Session/Best Paper Award: 5:00 - 5:15pm (Donner/Siskiyou Ballroom) | |||