mirror of https://github.com/YosysHQ/yosys.git
Merge pull request #1654 from YosysHQ/eddie/sby_fix69
verific: unflatten struct ports
This commit is contained in:
commit
ffadaddab5
|
@ -1891,6 +1891,9 @@ void verific_import(Design *design, const std::map<std::string,std::string> &par
|
||||||
if (!verific_error_msg.empty())
|
if (!verific_error_msg.empty())
|
||||||
log_error("%s\n", verific_error_msg.c_str());
|
log_error("%s\n", verific_error_msg.c_str());
|
||||||
|
|
||||||
|
for (auto nl : nl_todo)
|
||||||
|
nl->ChangePortBusStructures(1 /* hierarchical */);
|
||||||
|
|
||||||
VerificExtNets worker;
|
VerificExtNets worker;
|
||||||
for (auto nl : nl_todo)
|
for (auto nl : nl_todo)
|
||||||
worker.run(nl);
|
worker.run(nl);
|
||||||
|
@ -2470,6 +2473,9 @@ struct VerificPass : public Pass {
|
||||||
worker.run(nl);
|
worker.run(nl);
|
||||||
}
|
}
|
||||||
|
|
||||||
|
for (auto nl : nl_todo)
|
||||||
|
nl->ChangePortBusStructures(1 /* hierarchical */);
|
||||||
|
|
||||||
if (!dumpfile.empty()) {
|
if (!dumpfile.empty()) {
|
||||||
VeriWrite veri_writer;
|
VeriWrite veri_writer;
|
||||||
veri_writer.WriteFile(dumpfile.c_str(), Netlist::PresentDesign());
|
veri_writer.WriteFile(dumpfile.c_str(), Netlist::PresentDesign());
|
||||||
|
|
Loading…
Reference in New Issue