Fix bug in router2 where router may give up too early.

Was introduced in #612.  The logic before was intended to prevent the
router from terminating early when not using a bounding box, but the fix
in #612 simply removed that, meaning that the router might terminate
early incorrectly.  The solution here is to only use the toexplore
hysteric once a solution is found.

Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>

1 files changed, 13 insertions, 1 deletions

diff --git a/common/router2.cc b/common/router2.cc
index a233cdc5..1e53d1fc 100644
--- a/common/router2.cc
+++ b/common/router2.cc
@@ -654,7 +654,18 @@ struct Router2
         bool debug_arc = /*usr.cell->type.str(ctx).find("RAMB") != std::string::npos && (usr.port ==
                             ctx->id("ADDRATIEHIGH0") || usr.port == ctx->id("ADDRARDADDRL0"))*/
                 false;
-        while (!t.queue.empty() && iter < toexplore) {
+
+        // When running without a bounding box, the toexplore limit should be
+        // suspended until a solution is reached.  Once a solution is found,
+        // the toexplore limit should be used again to prevent requiring the
+        // router to drain the routing queue.
+        //
+        // Note that is it important that the must_drain_queue be set to true
+        // when running without a bb to ensure that a routing failure is
+        // because there is not route, rather than just because the toexplore
+        // heuristic is incorrect.
+        bool must_drain_queue = !is_bb;
+        while (!t.queue.empty() && (must_drain_queue || iter < toexplore)) {
             auto curr = t.queue.top();
             auto &d = flat_wires.at(curr.wire);
             t.queue.pop();
@@ -728,6 +739,7 @@ struct Router2
                     set_visited(t, next_idx, dh, next_score);
                     if (next == dst_wire) {
                         toexplore = std::min(toexplore, iter + 5);
+                        must_drain_queue = false;
                     }
                 }
             }