Diagnostic Services in Network-on-Chips (DSNOC)
MONDAY - June 09, 9:00am - 5:00pm / 303AB

---

Presented by Mentor Graphics Corp.: Object Oriented Hardware Reuse with ANSI C+++ and Algorithmic Synthesis
MONDAY - June 09, 10:10am - 10:50am / Exhibit Hall D, Booth 2849

---

Presented by Mentor Graphics Corp.: What you Should Know about The Open Verification Methodology (OVM)
MONDAY - June 09, 10:50am - 11:30am / Exhibit Hall D, Booth 2849

---

2007 ACM Turing Award Winners
MONDAY - June 09, 2:00pm - 4:00pm / Ballroom ABC

---

Accellera Technical Committee Update and Technical Excellence Award
TUESDAY - June 10, 11:00am - 1:00pm / Exhibit Hall D, Booth2849

---

ADDITIONAL MEETING: Verification Luncheon
TUESDAY - June 10, 12:00pm - 2:00pm / Marriott-Ballroom E

---

Session 9: Formal Verification Technology
TUESDAY - June 10, 2:00pm - 4:00pm / 208AB

---

Session 15: Experiences and Advances in Formal and Dynamic Verification
TUESDAY - June 10, 4:30pm - 6:00pm / 208AB

---

Session 22: Diagnosis and Debug
WEDNESDAY - June 11, 9:00am - 11:00am / 209AB

---

Session 30: Verifying Really Complex Systems: On Earth and Beyond
WEDNESDAY - June 11, 2:00pm - 4:00pm / 210CD

---

Your Functional Verification Roadmap: OVM, VMM, or Roll Your Own?
THURSDAY - June 12, 11:00am - 11:45am / Booth #364

---

Session 44: Formal Verification: Dude or Dud? Experiences from the Trenches
THURSDAY - June 12, 2:00pm - 4:00pm / 207ABC

---

Session 45: Random Topics in Testing
THURSDAY - June 12, 2:00pm - 4:00pm / 208AB

---

Session 51: Advances in Verification of Abstract (pre-RTL) Models
THURSDAY - June 12, 4:30pm - 6:00pm / 208AB

---