From cccc0ae112ffbe9bdf74c6231eee959ecad55f69 Mon Sep 17 00:00:00 2001 From: Eddie Hung Date: Fri, 24 Jan 2020 10:12:52 -0800 Subject: [PATCH] verific: unflatten struct ports --- frontends/verific/verific.cc | 3 +++ 1 file changed, 3 insertions(+) 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()); -- 2.30.2