From 268fe92d22536525b3c88b1dc14fff2e4a319294 Mon Sep 17 00:00:00 2001
From: Miodrag Milanovic <mmicko@gmail.com>
Date: Thu, 5 Oct 2023 11:22:40 +0200
Subject: [PATCH] verific: save original module name

---
 frontends/verific/verific.cc | 1 +
 1 file changed, 1 insertion(+)

diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc
index 9138bb63c03..85a685376ef 100644
--- a/frontends/verific/verific.cc
+++ b/frontends/verific/verific.cc
@@ -1275,6 +1275,7 @@ void VerificImporter::import_netlist(RTLIL::Design *design, Netlist *nl, std::ma
 		log("Importing module %s.\n", RTLIL::id2cstr(module->name));
 	}
 	import_attributes(module->attributes, nl, nl);
+	module->set_string_attribute(ID::hdlname, nl->CellBaseName());
 	const char *param_name ;
 	const char *param_value ;
 	MapIter mi;