Question about the HandBook

I don't think so. I believe the equations are correct.

input delayMAX (IMD) = tCO_extMAX + ddMAX - tCS_MIN

input delayMIN (ImD) = tCO_extMIN + ddMIN - tCS_MAX

where tCS_MIN (minimum clock skew) = MAX tCLK (destination) - MIN tCLK (source)

= cd_altrMAX - cd_extMIN (for inputs)

and tCS_MAX (maximum clock skew) = MIN tCLK (destination) - MAX tCLK (source)

= cd_altrMIN - cd_extMAX

therefore,

input_delayMAX = tCO_extMAX + ddMAX - tCS_MIN

= tCO_extMAX + ddMAX - (cd_altrMAX - cd_extMIN)

= tCO_extMAX + ddMAX + cd_extMIN - cd_altrMAX

and

input_delayMIN = tCO_extMIN + ddMIN - tCS_MAX

= tCO_extMIN + ddMIN - (cd_altrMIN - cd_extMAX)

= tCO_extMIN + ddMIN + cd_extMAX - cd_altrMIN

Similar equations apply to the output delays.