From 1fa738bd881f2951465586ae20f81f33743db73f Mon Sep 17 00:00:00 2001
From: Eddie Hung <e.hung@imperial.ac.uk>
Date: Tue, 24 Jul 2018 23:34:59 -0700
Subject: With no user frequency set, use 1.05 * current_Fmax
---
common/timing.cc | 8 ++++----
1 file changed, 4 insertions(+), 4 deletions(-)
diff --git a/common/timing.cc b/common/timing.cc
index be8e86fb..2c467961 100644
--- a/common/timing.cc
+++ b/common/timing.cc
@@ -111,7 +111,7 @@ void assign_budget(Context *ctx)
}
if (!ctx->user_freq) {
- ctx->target_freq = delay_t(1e12 / (default_slack - 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 = %f\n", min_slack, ctx->target_freq/1e6);
}
@@ -127,7 +127,7 @@ void assign_budget(Context *ctx)
user.budget = ctx->getBudgetOverride(net.second->driver, budget);
// Post-update check
- if (user.budget < 0)
+ if (ctx->user_freq && user.budget < 0)
log_warning("port %s.%s, connected to net '%s', has negative "
"timing budget of %fns\n",
user.cell->name.c_str(ctx), user.port.c_str(ctx), net.first.c_str(ctx),
@@ -167,7 +167,7 @@ void update_budget(Context *ctx)
}
if (!ctx->user_freq) {
- ctx->target_freq = delay_t(1e12 / (default_slack - min_slack));
+ ctx->target_freq = 1.05 * (1e12 / (default_slack - min_slack));
if (ctx->verbose)
log_info("minimum slack for this update = %d, target Fmax for next update = %f\n", min_slack, ctx->target_freq/1e6);
}
@@ -184,7 +184,7 @@ void update_budget(Context *ctx)
// Post-update check
if (ctx->verbose) {
- if (user.budget < 0)
+ if (ctx->user_freq && user.budget < 0)
log_warning("port %s.%s, connected to net '%s', has negative "
"timing budget of %fns\n",
user.cell->name.c_str(ctx), user.port.c_str(ctx), net.first.c_str(ctx),
--
cgit v1.2.3