caiyu/nextpnr
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

placer1: Check correctness of incremental updates with --debug

Browse Source 
Signed-off-by: David Shah <dave@ds0.me>
This commit is contained in:
David Shah 2019-04-08 18:08:26 +01:00
parent 65b2a76159
commit ad9bc627e6
1 changed files with 18 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

18
common/placer1.cc
View File

@ -291,6 +291,24 @@ class SAPlacer
}
}
if (ctx->debug) {
// Verify correctness of incremental wirelen updates
for (size_t i = 0; i < net_bounds.size(); i++) {
auto net = net_by_udata[i];
if (ignore_net(net))
continue;
auto &incr = net_bounds.at(i), gold = get_net_bounds(net);
NPNR_ASSERT(incr.x0 == gold.x0);
NPNR_ASSERT(incr.x1 == gold.x1);
NPNR_ASSERT(incr.y0 == gold.y0);
NPNR_ASSERT(incr.y1 == gold.y1);
NPNR_ASSERT(incr.nx0 == gold.nx0);
NPNR_ASSERT(incr.nx1 == gold.nx1);
NPNR_ASSERT(incr.ny0 == gold.ny0);
NPNR_ASSERT(incr.ny1 == gold.ny1);
}
}
if (curr_wirelen_cost < min_wirelen) {
min_wirelen = curr_wirelen_cost;
improved = true;