If --freq not set, attempt to find max by adjusting budget so min path slack == 0

1 files changed, 6 insertions, 1 deletions

diff --git a/ecp5/main.cc b/ecp5/main.cc
index 90096855..6087728c 100644
--- a/ecp5/main.cc
+++ b/ecp5/main.cc
@@ -169,8 +169,13 @@ int main(int argc, char *argv[])
 
             if (!ctx->pack() && !ctx->force)
                 log_error("Packing design failed.\n");
-            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");
+            }
             assign_budget(ctx.get());
             ctx->check();
             print_utilisation(ctx.get());