diff options
author | Eddie Hung <e.hung@imperial.ac.uk> | 2018-07-24 23:19:24 -0700 |
---|---|---|
committer | Eddie Hung <e.hung@imperial.ac.uk> | 2018-07-24 23:19:24 -0700 |
commit | c71212d0e148b0b2ee136a951f5d707cc8822bda (patch) | |
tree | 635ad356ec762c1771d9409dbc6726dd02fd22f9 /ice40 | |
parent | a69745060ef416f1e91545be110034a18ae012bd (diff) | |
download | nextpnr-c71212d0e148b0b2ee136a951f5d707cc8822bda.tar.gz nextpnr-c71212d0e148b0b2ee136a951f5d707cc8822bda.tar.bz2 nextpnr-c71212d0e148b0b2ee136a951f5d707cc8822bda.zip |
If --freq not set, attempt to find max by adjusting budget so min path slack == 0
Diffstat (limited to 'ice40')
-rw-r--r-- | ice40/main.cc | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/ice40/main.cc b/ice40/main.cc index 4de05d00..a893921b 100644 --- a/ice40/main.cc +++ b/ice40/main.cc @@ -365,8 +365,13 @@ int main(int argc, char *argv[]) } } - if (vm.count("freq")) + if (vm.count("freq")) { ctx->target_freq = vm["freq"].as<double>() * 1e6; + ctx->user_freq = true; + } + else { + log_warning("Target frequency not specified. Will optimise for max frequency.\n"); + } ctx->timing_driven = true; if (vm.count("no-tmdriv")) |