Program

You can download the detailed program and the complete course description from here.

May 24

19:00
Welcome Reception and Dinner

May 25

08:00
Welcome Address
Hans-Joachim Wunderlich

08:15
Introduction of Attendees

09:30
Formal Verification of Systems-on-Chip: Fundamentals and Practical Methodology
Wolfgang Kunz

10:30
Break

10:45
Formal Verification of Systems-on-Chip: Fundamentals and Practical Methodology (part II)
Wolfgang Kunz

12:45
Lunch

13:45
Formal Verification of Systems-on-Chip: Fundamentals and Practical Methodology (part III)
Wolfgang Kunz

15:00
Break

15:20
Advanced Formal Techniques Along the Design Flow
Rolf Drechsler

17:45
Social Event

May 26

08:00
Advanced Formal Techniques Along the Design Flow (part II)
Rolf Drechsler

10:15
Break

10:35
Post-Silicon Functional Debug of Multi-Processor Systems-on-Chip
Bart Vermeulen

12:30
Lunch

13:45
Post-Silicon Functional Debug of Multi-Processor Systems-on-Chip (part II)
Bart Vermeulen

15:45
Break

16:05
Advances in Post-Silicon Manufacturing Debug and Diagnosis
Srikanth Venkataraman

17:30
Advances in Post-Silicon Manufacturing Debug and Diagnosis (part II)
Srikanth Venkataraman

May 27

08:00
Advances in Post-Silicon Manufacturing Debug and Diagnosis (part III)
Srikanth Venkataraman

10:00
Social Event & Lunch

14:00
Effective Post-silicon Validation
Subhasish Mitra

14:00
Design, Test and Debug of Printed Circuit Assemblies
Bill Eklow
Brice Achkir