EPFL / IC 2 / Digital System Design / TP08-9