Another assertion

Signed-off-by: Eddie Hung <[email protected]>
Xilinx · Nov 12, 2024 · 8295cf7 · 8295cf7
1 parent a937982
commit 8295cf7
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/src/com/xilinx/rapidwright/rwroute/RWRoute.java b/src/com/xilinx/rapidwright/rwroute/RWRoute.java
@@ -1817,6 +1817,9 @@ private void exploreAndExpand(ConnectionState state, RouteNode rnode) {
                         if (!routingGraph.isAccessible(childRNode, connection)) {
                             continue;
                         }
+                        // Verify invariant that east/west wires stay east/west
+                        assert(rnode.getType() != RouteNodeType.LOCAL_EAST || childRNode.getType() == RouteNodeType.LOCAL_EAST);
+                        assert(rnode.getType() != RouteNodeType.LOCAL_WEST || childRNode.getType() == RouteNodeType.LOCAL_WEST);
                         break;
                     case NON_LOCAL:
                         // LOCALs cannot connect to NON_LOCALs except via a LUT routethru