From c71212d0e148b0b2ee136a951f5d707cc8822bda Mon Sep 17 00:00:00 2001
From: Eddie Hung <e.hung@imperial.ac.uk>
Date: Tue, 24 Jul 2018 23:19:24 -0700
Subject: If --freq not set, attempt to find max by adjusting budget so min
 path slack == 0

---
 ecp5/main.cc | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

(limited to 'ecp5')

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());
-- 
cgit v1.2.3