Merge pull request #139 from YosysHQ/fix_117

router1: Fix unrouted, undriven nets
This commit is contained in:
David Shah 2018-11-26 09:36:58 +00:00 committed by GitHub
commit 98858fe611
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -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)