verific: also unflatten for 'hierarchy' flow as per @cliffordwolf

diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc
index a8e8a3dc3d58790ab37323faf6cdc90a7fb8ac28..105a8fbd814396c44d020bf4357e719fccd965ab 100644 (file)
--- a/frontends/verific/verific.cc
+++ b/frontends/verific/verific.cc
@@ -1891,6 +1891,9 @@ void verific_import(Design *design, const std::map<std::string,std::string> &par
        if (!verific_error_msg.empty())
                log_error("%s\n", verific_error_msg.c_str());
 
+       for (auto nl : nl_todo)
+           nl->ChangePortBusStructures(1 /* hierarchical */);
+
        VerificExtNets worker;
        for (auto nl : nl_todo)
                worker.run(nl);