Symposium: Hardware Design and Formal VerificationSymposium ter gelegenheid van de promotie van Freek Verbeek. |
| Locatie: Huize Heyendael (Radboud Universiteit, Nijmegen) Datum: 27 maart 2013 Deelname: Er zijn geen kosten verbonden aan dit symposium. |
 |
Program:
| 12:30 |
|
Lunch |
| 13:30 |
Dominique Borrione (TIMA Laboratory, Grenoble, France): | |
| Property-Based Design with Horus (slides). | ||
| 14:30 |
Nader Bagherzadeh (University of California, Irvine, US): | |
| Challenges for Designing 3D NoC Architectures with Heterogeneous Cores (slides). | ||
| 15:30 |
Coffee Break |
|
| 16:00 |
Michael Kishinevsky (Intel Corporation, Oregon, US): | |
| Life with"dark" silicon. Power and thermal problems in future platforms (slides). |
||
| 17:00 |
Julien Schmaltz (Open University of the Netherlands): | |
| Formal Correctness of Communication Networks Architectures. | ||
| 17:30 |
Closing |
 |
 |