From 6a27cbe5b17b012aef904bc31c13d8a2b0b15f01 Mon Sep 17 00:00:00 2001 From: Clifford Wolf Date: Wed, 3 Feb 2016 08:59:57 +0100 Subject: [PATCH] Bugfix in Verific front-end --- frontends/verific/verific.cc | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc index 1ec6a7c0a..d2440f699 100644 --- a/frontends/verific/verific.cc +++ b/frontends/verific/verific.cc @@ -773,8 +773,11 @@ static void import_netlist(RTLIL::Design *design, Netlist *nl, std::setaddWire(NEW_ID, port_offset+1-GetSize(sigvec)); + for (auto bit : zwires) + sigvec.push_back(bit); + } sigvec[port_offset] = net_map.at(pr->GetNet()); } -- 2.30.2