diff options
| author | David Shah <davey1576@gmail.com> | 2018-11-26 09:36:58 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-11-26 09:36:58 +0000 |
| commit | 98858fe611a149e19e1d679db4a98fe88ff647bc (patch) | |
| tree | 811f90b2726503daf3ee43a7abf8ca6e9a3d03b7 | |
| parent | eda77a5244b2adc2b547e731cc94e14ce2736b57 (diff) | |
| parent | 8471d4249c73830a142e066ec83dccf8211a123a (diff) | |
| download | nextpnr-98858fe611a149e19e1d679db4a98fe88ff647bc.tar.gz nextpnr-98858fe611a149e19e1d679db4a98fe88ff647bc.tar.bz2 nextpnr-98858fe611a149e19e1d679db4a98fe88ff647bc.zip | |
Merge pull request #139 from YosysHQ/fix_117
router1: Fix unrouted, undriven nets
| -rw-r--r-- | common/router1.cc | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/common/router1.cc b/common/router1.cc index a3388fa8..aa4332aa 100644 --- a/common/router1.cc +++ b/common/router1.cc @@ -870,7 +870,12 @@ bool Context::checkRoutedDesign() const } auto src_wire = ctx->getNetinfoSourceWire(net_info); - log_assert(src_wire != WireId()); + if (src_wire == WireId()) { + log_assert(net_info->driver.cell == nullptr); + if (ctx->debug) + log(" undriven and unrouted\n"); + continue; + } if (net_info->wires.count(src_wire) == 0) { if (ctx->debug) |