From 93fbc9fba4400814a859a9d9bfb05b3b92500e31 Mon Sep 17 00:00:00 2001 From: Miodrag Milanovic Date: Sun, 10 Oct 2021 10:01:45 +0200 Subject: Import module attributes from Verific --- frontends/verific/verific.cc | 1 + 1 file changed, 1 insertion(+) (limited to 'frontends/verific') diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc index 231003753..c03e16eb2 100644 --- 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; -- cgit v1.2.3