diff options
Diffstat (limited to 'frontends')
-rw-r--r-- | frontends/verific/verific.cc | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc index 9274cf5ca..a8e8a3dc3 100644 --- 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()); |