cadence16.6差分约束规则