diff options
| author | Eddie Hung <eddie.hung+gitlab@gmail.com> | 2018-07-29 05:58:20 +0000 |
|---|---|---|
| committer | Eddie Hung <eddie.hung+gitlab@gmail.com> | 2018-07-29 05:58:20 +0000 |
| commit | b884d6bcf32575c4495c2dfb02d095c7fb195eae (patch) | |
| tree | f174ec331e6da459a419fe07d2b7f74fc092e946 | |
| parent | b7bdc8db0575f69157de5f89369619c708160d46 (diff) | |
| parent | 52cc146a67346f8a797d1ea133c7757a7330992d (diff) | |
| download | nextpnr-b884d6bcf32575c4495c2dfb02d095c7fb195eae.tar.gz nextpnr-b884d6bcf32575c4495c2dfb02d095c7fb195eae.tar.bz2 nextpnr-b884d6bcf32575c4495c2dfb02d095c7fb195eae.zip | |
Merge branch 'redist_slack' into 'redist_slack'
Keep things simple by not overconstraining Fmax
See merge request eddiehung/nextpnr!15
| -rw-r--r-- | common/timing.cc | 9 |
1 files changed, 3 insertions, 6 deletions
diff --git a/common/timing.cc b/common/timing.cc index c6e2b037..c9e1cabd 100644 --- a/common/timing.cc +++ b/common/timing.cc @@ -158,13 +158,10 @@ void assign_budget(Context *ctx, bool quiet) } } - // If user has not specified a frequency, adjust the target frequency dynamically - // TODO(eddieh): Tune these factors + // If user has not specified a frequency, dynamically adjust the target + // frequency to be the current maximum if (!ctx->user_freq) { - if (min_slack < 0) - ctx->target_freq = 1e12 / (default_slack - 0.95 * min_slack); - else - ctx->target_freq = 1e12 / (default_slack - 1.2 * min_slack); + ctx->target_freq = 1e12 / (default_slack - 1.2 * min_slack); if (ctx->verbose) log_info("minimum slack for this assign = %d, target Fmax for next update = %.2f MHz\n", min_slack, ctx->target_freq / 1e6); |