diff options
| author | Eddie Hung <e.hung@imperial.ac.uk> | 2018-07-21 12:47:09 -0700 |
|---|---|---|
| committer | Eddie Hung <e.hung@imperial.ac.uk> | 2018-07-21 12:47:09 -0700 |
| commit | e44dc25f098194c970d1a516fbaa0a5e911a50e1 (patch) | |
| tree | c6a9b6a2aa7d3c35f9a02a4fc3f8d91605de6b70 | |
| parent | 31c9fd28fe59902311d61519537eae06f0f915d0 (diff) | |
| download | nextpnr-e44dc25f098194c970d1a516fbaa0a5e911a50e1.tar.gz nextpnr-e44dc25f098194c970d1a516fbaa0a5e911a50e1.tar.bz2 nextpnr-e44dc25f098194c970d1a516fbaa0a5e911a50e1.zip | |
Uncomment out negative slack messages during update_budget(), make verbose
| -rw-r--r-- | common/timing.cc | 22 |
1 files 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)); + } } } } |