TimeQuest doesn't seem to like the clocks I've specified, so perhaps it can do better if I specify derive_clocks.