衍生时钟约束