Add frequency setting and fix slack calculation

Signed-off-by: David Shah <davey1576@gmail.com>

1 files changed, 5 insertions, 6 deletions

diff --git a/common/timing.cc b/common/timing.cc
index 8da26077..a7b37f9d 100644
--- a/common/timing.cc
+++ b/common/timing.cc
@@ -101,7 +101,6 @@ void assign_budget(Context *ctx, float default_clock)
             }
         }
     }
-    const bool debug = true;
 
     // Post-allocation check
     for (auto net : ctx->nets) {
@@ -111,11 +110,11 @@ void assign_budget(Context *ctx, float default_clock)
                             "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 (debug)
-                log_warning("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)
+                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));
         }
     }
 }