diff options
Diffstat (limited to 'common/timing.h')
| -rw-r--r-- | common/timing.h | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/common/timing.h b/common/timing.h index 025e4a76..a1e12ab3 100644 --- a/common/timing.h +++ b/common/timing.h @@ -27,6 +27,11 @@ NEXTPNR_NAMESPACE_BEGIN // Assign "budget" values for all user ports in the design void assign_budget(Context *ctx); +// Evenly redistribute the total path slack amongst all sinks on each path +void update_budget(Context *ctx); + +void compute_fmax(Context *ctx, bool print_fmax = false, bool print_path = false); + NEXTPNR_NAMESPACE_END #endif |