diff options
| author | Eddie Hung <eddie.hung+gitlab@gmail.com> | 2018-07-27 05:54:18 +0000 |
|---|---|---|
| committer | Eddie Hung <eddie.hung+gitlab@gmail.com> | 2018-07-27 05:54:18 +0000 |
| commit | 56d551d4071194b0484395cdd1418cdacd56679f (patch) | |
| tree | 2dea519e47cf4181cc9d18cab3b2ae821a963da1 /common/timing.h | |
| parent | 771edd1fda8692930e186a8913b7588d18fda710 (diff) | |
| parent | 4c40541484f0f0b571e1c7e4604c39c74dd5c93d (diff) | |
| download | nextpnr-56d551d4071194b0484395cdd1418cdacd56679f.tar.gz nextpnr-56d551d4071194b0484395cdd1418cdacd56679f.tar.bz2 nextpnr-56d551d4071194b0484395cdd1418cdacd56679f.zip | |
Merge branch 'redist_slack' into 'redist_slack'
Redist slack
See merge request eddiehung/nextpnr!10
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 |