From e44dc25f098194c970d1a516fbaa0a5e911a50e1 Mon Sep 17 00:00:00 2001 From: Eddie Hung Date: Sat, 21 Jul 2018 12:47:09 -0700 Subject: [PATCH] Uncomment out negative slack messages during update_budget(), make verbose --- common/timing.cc | 22 ++++++++++++---------- 1 file changed, 12 insertions(+), 10 deletions(-) diff --git a/common/timing.cc b/common/timing.cc index 5f744621..6b4a8b64 100644 --- a/common/timing.cc +++ b/common/timing.cc @@ -223,16 +223,18 @@ void update_budget(Context *ctx) // HACK HACK HACK // Post-update check -// if (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), -// ctx->getDelayNS(user.budget)); -// if (ctx->verbose) -// log_info("port %s.%s, connected to net '%s', has " -// "timing budget of %fns\n", -// user.cell->name.c_str(ctx), user.port.c_str(ctx), net.first.c_str(ctx), -// ctx->getDelayNS(user.budget)); + if (ctx->verbose) { + if (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), + ctx->getDelayNS(user.budget)); + else + log_info("port %s.%s, connected to net '%s', has " + "timing budget of %fns\n", + user.cell->name.c_str(ctx), user.port.c_str(ctx), net.first.c_str(ctx), + ctx->getDelayNS(user.budget)); + } } } }