diff options
Diffstat (limited to 'common/kernel')
-rw-r--r-- | common/kernel/timing.cc | 226 | ||||
-rw-r--r-- | common/kernel/timing.h | 6 |
2 files changed, 225 insertions, 7 deletions
diff --git a/common/kernel/timing.cc b/common/kernel/timing.cc index 834785fb..370b43c6 100644 --- a/common/kernel/timing.cc +++ b/common/kernel/timing.cc @@ -29,12 +29,17 @@ NEXTPNR_NAMESPACE_BEGIN +namespace { +const char *edge_name(ClockEdge edge) { return (edge == FALLING_EDGE) ? "negedge" : "posedge"; } +} // namespace + void TimingAnalyser::setup() { init_ports(); get_cell_delays(); topo_sort(); setup_port_domains(); + identify_related_domains(); run(); } @@ -249,6 +254,7 @@ void TimingAnalyser::setup_port_domains() copy_domains(port, CellPortKey(pi.net->driver), true); } } + // Iterate over ports and find domain paris for (auto port : topological_order) { auto &pd = ports.at(port); @@ -280,6 +286,174 @@ void TimingAnalyser::setup_port_domains() } } +void TimingAnalyser::identify_related_domains() { + + // Identify clock nets + pool<IdString> clock_nets; + for (const auto& domain : domains) { + clock_nets.insert(domain.key.clock); + } + + // For each clock net identify all nets that can possibly drive it. Compute + // cumulative delays to each of them. + std::function<void(const NetInfo*, dict<IdString, delay_t>&, delay_t, int32_t)> find_net_drivers = + [&] (const NetInfo* ni, dict<IdString, delay_t>& drivers, delay_t delay_acc, int32_t level) + { + // Get driving cell and port + const CellInfo* cell = ni->driver.cell; + const IdString port = ni->driver.port; + + bool didGoUpstream = false; + + std::string indent (level, ' '); + + log("%sout %s.%s\n", indent.c_str(), cell->name.str(ctx).c_str(), port.str(ctx).c_str()); + + // The cell has only one port + if (cell->ports.size() == 1) { + drivers[ni->name] = delay_acc; + return; + } + + // Count cell port types + size_t num_inp = 0; + size_t num_out = 0; + for (const auto& it : cell->ports) { + const auto& pi = it.second; + if (pi.type != PORT_IN) { + num_inp++; + } else { + num_out++; + } + } + + // Get the driver timing class + int info_count = 0; + auto timing_class = ctx->getPortTimingClass(cell, port, info_count); + + // The driver must be a combinational output + if (timing_class != TMG_COMB_OUTPUT) { + drivers[ni->name] = delay_acc; + return; + } + + // Recurse upstream through all input ports that have combinational + // paths to this driver + for (const auto& it : cell->ports) { + const auto& pi = it.second; + + // Only connected inputs + if (pi.type != PORT_IN) { + continue; + } + if (pi.net == nullptr) { + continue; + } + + // The input must be a combinational input + timing_class = ctx->getPortTimingClass(cell, pi.name, info_count); + if (timing_class != TMG_COMB_INPUT) { + continue; + } + // There must be a combinational arc + DelayQuad delay; + if (!ctx->getCellDelay(cell, pi.name, port, delay)) { + continue; + } + + log("%sinp %s.%s\n", indent.c_str(), cell->name.str(ctx).c_str(), pi.name.str(ctx).c_str()); + + // Recurse + find_net_drivers(pi.net, drivers, delay_acc + delay.maxDelay(), level+1); + didGoUpstream = true; + } + + // Did not propagate upstream through the cell, mark the net as driver + if (!didGoUpstream) { + log("%send %s\n", indent.c_str(), ni->name.str(ctx).c_str()); + drivers[ni->name] = delay_acc; + } + }; + + // Identify possible drivers for each clock domain + dict<IdString, dict<IdString, delay_t>> clock_drivers; + for (const auto& domain : domains) { + + const NetInfo* ni = ctx->nets.at(domain.key.clock).get(); + dict<IdString, delay_t> drivers; + find_net_drivers(ni, drivers, 0, 0); + + clock_drivers[domain.key.clock] = drivers; + + log("Clock '%s' can be driven by:\n", domain.key.clock.str(ctx).c_str()); + for (const auto& it : drivers) { + log(" net '%s' delay %.3fns\n", it.first.str(ctx).c_str(), ctx->getDelayNS(it.second)); + } + } + + // Identify related clocks + for (const auto& c1 : clock_drivers) { + for (const auto& c2 : clock_drivers) { + + // Evident? + if (c1 == c2) { + continue; + } + + // Make an intersection of the two drivers sets + pool<IdString> common_drivers; + for (const auto& it : c1.second) { + common_drivers.insert(it.first); + } + for (const auto& it : c2.second) { + common_drivers.insert(it.first); + } + + for (auto it=common_drivers.begin(); it!=common_drivers.end();) { + if (!c1.second.count(*it) || !c2.second.count(*it)) { + it = common_drivers.erase(it); + } else { + ++it; + } + } + + // DEBUG // + log("Clocks '%s' and '%s'\n", c1.first.str(ctx).c_str(), c2.first.str(ctx).c_str()); + for (const auto& it : common_drivers) { + + // TEST // + const NetInfo* ni = ctx->nets.at(it).get(); + const CellInfo* cell = ni->driver.cell; + const IdString port = ni->driver.port; + + int info_count; + auto timing_class = ctx->getPortTimingClass(cell, port, info_count); + // TEST // + + log(" net '%s', cell %s (%s), port %s, class%d\n", + it.str(ctx).c_str(), + cell->name.str(ctx).c_str(), + cell->type.str(ctx).c_str(), + port.str(ctx).c_str(), + int(timing_class) + ); + } + // DEBUG // + + // If there is no single driver then consider the two clocks + // unrelated. + if (common_drivers.size() != 1) { + continue; + } + + // Compute delay from c1 to c2 and store it + auto driver = *common_drivers.begin(); + auto delay = c2.second.at(driver) - c1.second.at(driver); + clock_delays[std::make_pair(c1.first, c2.first)] = delay; + } + } +} + void TimingAnalyser::reset_times() { for (auto &port : ports) { @@ -466,11 +640,23 @@ void TimingAnalyser::compute_slack() auto &pd = ports.at(p); for (auto &pdp : pd.domain_pairs) { auto &dp = domain_pairs.at(pdp.first); + + // Get clock names + const auto& launch_clock = domains.at(dp.key.launch).key.clock; + const auto& capture_clock = domains.at(dp.key.capture).key.clock; + + // Get clock-to-clock delay if any + delay_t clock_to_clock = 0; + auto clocks = std::make_pair(launch_clock, capture_clock); + if (clock_delays.count(clocks)) { + clock_to_clock = clock_delays.at(clocks); + } + auto &arr = pd.arrival.at(dp.key.launch); auto &req = pd.required.at(dp.key.capture); - pdp.second.setup_slack = 0 - (arr.value.maxDelay() - req.value.minDelay()); + pdp.second.setup_slack = 0 - (arr.value.maxDelay() - req.value.minDelay() + clock_to_clock); if (!setup_only) - pdp.second.hold_slack = arr.value.minDelay() - req.value.maxDelay(); + pdp.second.hold_slack = arr.value.minDelay() - req.value.maxDelay() + clock_to_clock; pdp.second.max_path_length = arr.path_length + req.path_length; if (dp.key.launch == dp.key.capture) pd.worst_setup_slack = std::min(pd.worst_setup_slack, dp.period.minDelay() + pdp.second.setup_slack); @@ -541,10 +727,6 @@ void TimingAnalyser::print_critical_path(CellPortKey endpoint, domain_id_t domai } } -namespace { -const char *edge_name(ClockEdge edge) { return (edge == FALLING_EDGE) ? "negedge" : "posedge"; } -} // namespace - void TimingAnalyser::print_report() { for (int i = 0; i < int(domain_pairs.size()); i++) { @@ -558,6 +740,16 @@ void TimingAnalyser::print_report() print_critical_path(ep, i); log_break(); } + + print_fmax(); + + for (const auto& it : clock_delays) { + log_info("Clock-to-clock %s -> %s: %0.02f ns\n", + it.first.first.str(ctx).c_str(), + it.first.second.str(ctx).c_str(), + ctx->getDelayNS(it.second) + ); + } } domain_id_t TimingAnalyser::domain_id(IdString cell, IdString clock_port, ClockEdge edge) @@ -1216,11 +1408,15 @@ void timing_analysis(Context *ctx, bool print_histogram, bool print_fmax, bool p (update_results && ctx->detailed_timing_report) ? &detailed_net_timings : nullptr); timing.walk_paths(); + TimingAnalyser timingAnalyser (ctx); + timingAnalyser.setup(); + bool report_critical_paths = print_path || print_fmax || update_results; dict<IdString, CriticalPath> clock_reports; std::vector<CriticalPath> xclock_reports; dict<IdString, ClockFmax> clock_fmax; + dict<std::pair<IdString, IdString>, ClockFmax> xclock_fmax; std::set<IdString> empty_clocks; // set of clocks with no interior paths if (report_critical_paths) { @@ -1256,12 +1452,24 @@ void timing_analysis(Context *ctx, bool print_histogram, bool print_fmax, bool p if (a.clock == b.clock && a.clock != ctx->id("$async$")) continue; + double Fmax; + if (a.edge == b.edge) + Fmax = 1000 / ctx->getDelayNS(path.second.path_delay); + else + Fmax = 500 / ctx->getDelayNS(path.second.path_delay); + + auto key = std::make_pair(a.clock, b.clock); + if (!xclock_fmax.count(key) || Fmax < xclock_fmax.at(key).achieved) { + xclock_fmax[key].achieved = Fmax; + xclock_fmax[key].constraint = 0.0f; // Will be filled later + } + auto &crit_path = crit_paths.at(path.first).ports; xclock_reports.push_back(build_critical_path_report(ctx, path.first, crit_path)); xclock_reports.back().period = path.second.path_period; } - if (clock_reports.empty()) { + if (clock_reports.empty() && xclock_reports.empty()) { log_info("No Fmax available; no interior timing paths found in design.\n"); } @@ -1418,6 +1626,10 @@ void timing_analysis(Context *ctx, bool print_histogram, bool print_fmax, bool p log_info("Critical path report for cross-domain path '%s' -> '%s':\n", start.c_str(), end.c_str()); print_path_report(report); } + + log("== NEW CODE ==\n"); + timingAnalyser.print_report(); + log("== NEW CODE ==\n"); } if (print_fmax) { diff --git a/common/kernel/timing.h b/common/kernel/timing.h index fe1bcaa8..9562ba93 100644 --- a/common/kernel/timing.h +++ b/common/kernel/timing.h @@ -92,6 +92,10 @@ struct TimingAnalyser return slack; } + auto get_clock_delays () const { + return clock_delays; + } + bool setup_only = false; bool verbose_mode = false; bool have_loops = false; @@ -103,6 +107,7 @@ struct TimingAnalyser void get_route_delays(); void topo_sort(); void setup_port_domains(); + void identify_related_domains(); void reset_times(); @@ -217,6 +222,7 @@ struct TimingAnalyser dict<ClockDomainPairKey, domain_id_t> pair_to_id; std::vector<PerDomain> domains; std::vector<PerDomainPair> domain_pairs; + dict<std::pair<IdString, IdString>, delay_t> clock_delays; std::vector<CellPortKey> topological_order; |