diff options
Diffstat (limited to 'common/timing.h')
| -rw-r--r-- | common/timing.h | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/common/timing.h b/common/timing.h index 8c098963..a1e12ab3 100644 --- a/common/timing.h +++ b/common/timing.h @@ -27,7 +27,10 @@ NEXTPNR_NAMESPACE_BEGIN // Assign "budget" values for all user ports in the design void assign_budget(Context *ctx); -void update_budget(Context *ctx, std::function<delay_t(Context*,WireId,WireId)> delay_fn=&Context::estimateDelay); +// 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 |