From 9c45f762c8280b5f7948df15554e54a38a896da2 Mon Sep 17 00:00:00 2001
From: Eddie Hung <eddieh@ece.ubc.ca>
Date: Sun, 29 Jul 2018 18:16:49 -0700
Subject: [PATCH] Really do not overconstrain!

---
 common/timing.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/common/timing.cc b/common/timing.cc
index c9e1cabd..a753708a 100644
--- a/common/timing.cc
+++ b/common/timing.cc
@@ -161,7 +161,7 @@ void assign_budget(Context *ctx, bool quiet)
     // If user has not specified a frequency, dynamically adjust the target 
     //   frequency to be the current maximum
     if (!ctx->user_freq) {
-        ctx->target_freq = 1e12 / (default_slack - 1.2 * min_slack);
+        ctx->target_freq = 1e12 / (default_slack - 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);