diff options
| author | Eddie Hung <e.hung@imperial.ac.uk> | 2018-07-24 23:34:59 -0700 |
|---|---|---|
| committer | Eddie Hung <e.hung@imperial.ac.uk> | 2018-07-24 23:34:59 -0700 |
| commit | 1fa738bd881f2951465586ae20f81f33743db73f (patch) | |
| tree | c55fc48ab0860353045d58f9309cf4c6e0509719 /common/timing.cc | |
| parent | c71212d0e148b0b2ee136a951f5d707cc8822bda (diff) | |
| download | nextpnr-1fa738bd881f2951465586ae20f81f33743db73f.tar.gz nextpnr-1fa738bd881f2951465586ae20f81f33743db73f.tar.bz2 nextpnr-1fa738bd881f2951465586ae20f81f33743db73f.zip | |
With no user frequency set, use 1.05 * current_Fmax
Diffstat (limited to 'common/timing.cc')
| -rw-r--r-- | common/timing.cc | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/common/timing.cc b/common/timing.cc index be8e86fb..2c467961 100644 --- a/common/timing.cc +++ b/common/timing.cc @@ -111,7 +111,7 @@ void assign_budget(Context *ctx) } if (!ctx->user_freq) { - ctx->target_freq = delay_t(1e12 / (default_slack - min_slack)); + ctx->target_freq = 1e12 / (default_slack - min_slack); if (ctx->verbose) log_info("minimum slack for this assign = %d, target Fmax for next update = %f\n", min_slack, ctx->target_freq/1e6); } @@ -127,7 +127,7 @@ void assign_budget(Context *ctx) user.budget = ctx->getBudgetOverride(net.second->driver, budget); // Post-update check - if (user.budget < 0) + if (ctx->user_freq && user.budget < 0) log_warning("port %s.%s, connected to net '%s', has negative " "timing budget of %fns\n", user.cell->name.c_str(ctx), user.port.c_str(ctx), net.first.c_str(ctx), @@ -167,7 +167,7 @@ void update_budget(Context *ctx) } if (!ctx->user_freq) { - ctx->target_freq = delay_t(1e12 / (default_slack - min_slack)); + ctx->target_freq = 1.05 * (1e12 / (default_slack - min_slack)); if (ctx->verbose) log_info("minimum slack for this update = %d, target Fmax for next update = %f\n", min_slack, ctx->target_freq/1e6); } @@ -184,7 +184,7 @@ void update_budget(Context *ctx) // Post-update check if (ctx->verbose) { - if (user.budget < 0) + if (ctx->user_freq && user.budget < 0) log_warning("port %s.%s, connected to net '%s', has negative " "timing budget of %fns\n", user.cell->name.c_str(ctx), user.port.c_str(ctx), net.first.c_str(ctx), |