Title: CDC clock-distribution circuits