mirror of
https://github.com/YosysHQ/yosys
synced 2025-04-06 17:44:09 +00:00
Import module attributes from Verific
This commit is contained in:
parent
d8f6d7b18d
commit
93fbc9fba4
|
@ -917,6 +917,7 @@ void VerificImporter::import_netlist(RTLIL::Design *design, Netlist *nl, std::se
|
||||||
} else {
|
} else {
|
||||||
log("Importing module %s.\n", RTLIL::id2cstr(module->name));
|
log("Importing module %s.\n", RTLIL::id2cstr(module->name));
|
||||||
}
|
}
|
||||||
|
import_attributes(module->attributes, nl, nl);
|
||||||
|
|
||||||
SetIter si;
|
SetIter si;
|
||||||
MapIter mi, mi2;
|
MapIter mi, mi2;
|
||||||
|
|
Loading…
Reference in a new issue