Correctly treat empty modules as blackboxes in Verific

Signed-off-by: Clifford Wolf <clifford@clifford.at>

diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc
index c2086afa4862d82fec80f275c9b464e969013672..de41e1a5c084561365130943230c07fbf4ad4593 100644 (file)
--- 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");