diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc index e6c5865b7..81e79f749 100644 --- a/frontends/verific/verific.cc +++ b/frontends/verific/verific.cc @@ -1430,6 +1430,7 @@ void VerificImporter::import_netlist(RTLIL::Design *design, Netlist *nl, std::ma } import_attributes(module->attributes, nl, nl); module->set_string_attribute(ID::hdlname, nl->CellBaseName()); + module->set_string_attribute(ID(library), nl->Owner()->Owner()->Name()); #ifdef VERIFIC_VHDL_SUPPORT if (nl->IsFromVhdl()) { NameSpace name_space(0);