Text this: Clock buffer polarity assignment under useful skew constraints.