| =========================================================================== | |
| report_worst_slack -max (Setup) | |
| ============================================================================ | |
| worst slack 20.53 | |
| =========================================================================== | |
| report_worst_slack -min (Hold) | |
| ============================================================================ | |
| worst slack 0.75 |