diff options
author | Eddie Hung <eddieh@ece.ubc.ca> | 2018-08-03 23:51:21 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-08-03 23:51:21 -0700 |
commit | f5a1b93f0e9348437ece7fb7d46ac69af98536d0 (patch) | |
tree | 4b881ed0409bae10ac553dc5fe1771feb228712e /ice40 | |
parent | 65d73eb9838e0bb8e6d089ecde3d4ffaf34e9e29 (diff) | |
parent | d66edf522348d1475f1b65d79804f37a751274b3 (diff) | |
download | nextpnr-f5a1b93f0e9348437ece7fb7d46ac69af98536d0.tar.gz nextpnr-f5a1b93f0e9348437ece7fb7d46ac69af98536d0.tar.bz2 nextpnr-f5a1b93f0e9348437ece7fb7d46ac69af98536d0.zip |
Merge pull request #30 from eddiehung/slack_redist_freq
Slack redistribution to auto-tune frequency only if --freq 0 set
Diffstat (limited to 'ice40')
-rw-r--r-- | ice40/main.cc | 17 |
1 files changed, 10 insertions, 7 deletions
diff --git a/ice40/main.cc b/ice40/main.cc index 37e18215..46cdce71 100644 --- a/ice40/main.cc +++ b/ice40/main.cc @@ -319,6 +319,13 @@ int main(int argc, char *argv[]) if (vm.count("slack_redist_iter")) { ctx->slack_redist_iter = vm["slack_redist_iter"].as<int>(); + if (vm.count("freq") && vm["freq"].as<double>() == 0) { + ctx->auto_freq = true; +#ifndef NO_GUI + if (!vm.count("gui")) +#endif + log_warning("Target frequency not specified. Will optimise for max frequency.\n"); + } } if (vm.count("cstrweight")) { @@ -385,13 +392,9 @@ int main(int argc, char *argv[]) } if (vm.count("freq")) { - ctx->target_freq = vm["freq"].as<double>() * 1e6; - ctx->user_freq = true; - } else { -#ifndef NO_GUI - if (!vm.count("gui")) -#endif - log_warning("Target frequency not specified. Will optimise for max frequency.\n"); + auto freq = vm["freq"].as<double>(); + if (freq > 0) + ctx->target_freq = freq * 1e6; } ctx->timing_driven = true; |