verific: unflatten struct ports

diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc
index 9274cf5ca5f8586878491c3d82f8632c80dc32e1..a8e8a3dc3d58790ab37323faf6cdc90a7fb8ac28 100644 (file)
--- a/frontends/verific/verific.cc
+++ b/frontends/verific/verific.cc
@@ -2470,6 +2470,9 @@ struct VerificPass : public Pass {
                                        worker.run(nl);
                        }
 
+                       for (auto nl : nl_todo)
+                               nl->ChangePortBusStructures(1 /* hierarchical */);
+
                        if (!dumpfile.empty()) {
                                VeriWrite veri_writer;
                                veri_writer.WriteFile(dumpfile.c_str(), Netlist::PresentDesign());