caravel/docs/pdf/caravel_clocking.pdf