mirror of https://github.com/YosysHQ/yosys.git
verific: unflatten struct ports
This commit is contained in:
parent
da6abc0149
commit
cccc0ae112
|
@ -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());
|
||||
|
|
Loading…
Reference in New Issue