verific: expose library name as module attribute

This commit is contained in:
Miodrag Milanovic 2024-04-15 17:01:07 +02:00
parent 7bb2746208
commit af94123730
1 changed files with 1 additions and 0 deletions

View File

@ -1430,6 +1430,7 @@ void VerificImporter::import_netlist(RTLIL::Design *design, Netlist *nl, std::ma
} }
import_attributes(module->attributes, nl, nl); import_attributes(module->attributes, nl, nl);
module->set_string_attribute(ID::hdlname, nl->CellBaseName()); module->set_string_attribute(ID::hdlname, nl->CellBaseName());
module->set_string_attribute(ID(library), nl->Owner()->Owner()->Name());
#ifdef VERIFIC_VHDL_SUPPORT #ifdef VERIFIC_VHDL_SUPPORT
if (nl->IsFromVhdl()) { if (nl->IsFromVhdl()) {
NameSpace name_space(0); NameSpace name_space(0);