diff options
| author | Eddie Hung <e.hung@imperial.ac.uk> | 2018-07-24 22:20:10 -0700 |
|---|---|---|
| committer | Eddie Hung <e.hung@imperial.ac.uk> | 2018-07-24 22:20:10 -0700 |
| commit | 9382938661613b84e3ad3155e414aaae2fa87da2 (patch) | |
| tree | 107c14811cf2e91c82ee4f9ea983260ee7acea8c /common/timing.cc | |
| parent | 4920cf18fa1128758dac2ffd12bf88d194863f17 (diff) | |
| parent | 32c7247785f48b2307e559a0af50d9387bda8b49 (diff) | |
| download | nextpnr-9382938661613b84e3ad3155e414aaae2fa87da2.tar.gz nextpnr-9382938661613b84e3ad3155e414aaae2fa87da2.tar.bz2 nextpnr-9382938661613b84e3ad3155e414aaae2fa87da2.zip | |
Merge branch 'master' into redist_slack
Diffstat (limited to 'common/timing.cc')
| -rw-r--r-- | common/timing.cc | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/common/timing.cc b/common/timing.cc index ae164d20..814b0426 100644 --- a/common/timing.cc +++ b/common/timing.cc @@ -94,6 +94,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, updates); } |