mirror of https://github.com/YosysHQ/yosys.git
verific: also unflatten for 'hierarchy' flow as per @cliffordwolf
This commit is contained in:
parent
cccc0ae112
commit
7b445121cc
|
@ -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);
|
||||
|
|
Loading…
Reference in New Issue