aboutsummaryrefslogtreecommitdiffstats
path: root/common/timing.cc
diff options
context:
space:
mode:
authorDavid Shah <dave@ds0.me>2018-11-02 19:13:50 +0000
committerDavid Shah <dave@ds0.me>2018-11-12 14:03:58 +0000
commitfad69d49309ec979f0251a3213f212968629a8ed (patch)
tree612c85b60fcebc8c58e8a787bb1f4aee7728c9fc /common/timing.cc
parentcba9b528e8427e84bf1f6c6b8c34dc2bbe2d6bdf (diff)
downloadnextpnr-fad69d49309ec979f0251a3213f212968629a8ed.tar.gz
nextpnr-fad69d49309ec979f0251a3213f212968629a8ed.tar.bz2
nextpnr-fad69d49309ec979f0251a3213f212968629a8ed.zip
timing: Don't include false startpoints in async paths
Signed-off-by: David Shah <dave@ds0.me>
Diffstat (limited to 'common/timing.cc')
-rw-r--r--common/timing.cc10
1 files changed, 8 insertions, 2 deletions
diff --git a/common/timing.cc b/common/timing.cc
index 73e48871..8ecea38e 100644
--- a/common/timing.cc
+++ b/common/timing.cc
@@ -237,10 +237,14 @@ struct Timing
// Go forwards topographically to find the maximum arrival time and max path length for each net
for (auto net : topographical_order) {
+ if (!net_data.count(net))
+ continue;
auto &nd_map = net_data.at(net);
for (auto &startdomain : nd_map) {
ClockEvent start_clk = startdomain.first;
auto &nd = startdomain.second;
+ if (nd.false_startpoint)
+ continue;
const auto net_arrival = nd.max_arrival;
const auto net_length_plus_one = nd.max_path_length + 1;
nd.min_remaining_budget = clk_period;
@@ -282,6 +286,8 @@ struct Timing
// Now go backwards topographically to determine the minimum path slack, and to distribute all path slack evenly
// between all nets on the path
for (auto net : boost::adaptors::reverse(topographical_order)) {
+ if (!net_data.count(net))
+ continue;
auto &nd_map = net_data.at(net);
for (auto &startdomain : nd_map) {
auto &nd = startdomain.second;
@@ -399,7 +405,7 @@ struct Timing
continue;
// And find the fanin net with the latest arrival time
- if (net_data.at(port.second.net).count(crit_pair.first.start)) {
+ if (net_data.count(port.second.net) && net_data.at(port.second.net).count(crit_pair.first.start)) {
const auto net_arrival = net_data.at(port.second.net).at(crit_pair.first.start).max_arrival;
if (net_arrival > max_arrival) {
max_arrival = net_arrival;
@@ -593,7 +599,7 @@ void timing_analysis(Context *ctx, bool print_histogram, bool print_fmax, bool p
log_info(" Sink %s.%s\n", sink_cell->name.c_str(ctx), sink->port.c_str(ctx));
last_port = sink->port;
}
-
+
};
for (auto &clock : clock_reports) {