caravel/doc/caravel_clocking.ps