diff options
| author | Eddie Hung <eddieh@ece.ubc.ca> | 2018-07-28 22:57:37 -0700 |
|---|---|---|
| committer | Eddie Hung <eddieh@ece.ubc.ca> | 2018-07-28 22:57:37 -0700 |
| commit | 52cc146a67346f8a797d1ea133c7757a7330992d (patch) | |
| tree | f174ec331e6da459a419fe07d2b7f74fc092e946 /common | |
| parent | beabb429b0be91c597cb2a9f7726a159a6f40b32 (diff) | |
| download | nextpnr-52cc146a67346f8a797d1ea133c7757a7330992d.tar.gz nextpnr-52cc146a67346f8a797d1ea133c7757a7330992d.tar.bz2 nextpnr-52cc146a67346f8a797d1ea133c7757a7330992d.zip | |
Keep things simple by not overconstraining Fmax
Diffstat (limited to 'common')
| -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); |