Reclocking for high-level synthesis