Import module attributes from Verific

diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc
index 23100375396efe5dd12dccd60df07b3c7996a960..c03e16eb2264ee8bd5c04de27b3351e942e55649 100644 (file)
--- a/frontends/verific/verific.cc
+++ b/frontends/verific/verific.cc
@@ -917,6 +917,7 @@ void VerificImporter::import_netlist(RTLIL::Design *design, Netlist *nl, std::se
        } else {
                log("Importing module %s.\n", RTLIL::id2cstr(module->name));
        }
+       import_attributes(module->attributes, nl, nl);
 
        SetIter si;
        MapIter mi, mi2;