Embedded Systems (master I&C)
Real-Time Embedded Systems (master I&C)
project of Systems on Chip (bachelor I&C)
http://moodle.epfl.ch/course/category.php?id=74
http://fpga4u.epfl.ch