From 55bda2b2c693a7ff79da545e7b52901de00df475 Mon Sep 17 00:00:00 2001 From: Clifford Wolf Date: Wed, 20 Nov 2019 12:56:31 +0100 Subject: [PATCH] Correctly treat empty modules as blackboxes in Verific Signed-off-by: Clifford Wolf --- frontends/verific/verific.cc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc index c2086afa4..de41e1a5c 100644 --- a/frontends/verific/verific.cc +++ b/frontends/verific/verific.cc @@ -130,7 +130,7 @@ RTLIL::SigBit VerificImporter::net_map_at(Net *net) bool is_blackbox(Netlist *nl) { - if (nl->IsBlackBox()) + if (nl->IsBlackBox() || nl->IsEmptyBox()) return true; const char *attr = nl->GetAttValue("blackbox");