Giovanni De Micheli (EPFL Laussane) [EE380 Computer Systems]