From 1fa738bd881f2951465586ae20f81f33743db73f Mon Sep 17 00:00:00 2001 From: Eddie Hung 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(-) (limited to 'common') 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