EPFL / IC 2 / Digital System Design / TP05