timing: Model clock to Q times

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

1 files changed, 3 insertions, 0 deletions

diff --git a/common/timing.cc b/common/timing.cc
index 3a48935f..d91dea20 100644
--- a/common/timing.cc
+++ b/common/timing.cc
@@ -88,6 +88,9 @@ void assign_budget(Context *ctx)
                 IdString clock_domain = ctx->getPortClock(cell.second.get(), port.first);
                 if (clock_domain != IdString()) {
                     delay_t slack = delay_t(1.0e12 / ctx->target_freq); // TODO: clock constraints
+                    delay_t clkToQ;
+                    if (ctx->getCellDelay(cell.second.get(), clock_domain, port.first, clkToQ))
+                        slack -= clkToQ;
                     if (port.second.net)
                         follow_net(ctx, port.second.net, 0, slack);
                 }