From 2337d979770e312360ac2a446ccbbbb4b67012b4 Mon Sep 17 00:00:00 2001
From: Akash Levy <akashlevy@gmail.com>
Date: Thu, 13 Jun 2024 15:33:17 -0700
Subject: [PATCH] Sub1 fix

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

diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc
index 6dcd51c1b..b4a83518c 100644
--- a/frontends/verific/verific.cc
+++ b/frontends/verific/verific.cc
@@ -207,7 +207,7 @@ bool is_blackbox(Netlist *nl)
 
 RTLIL::IdString VerificImporter::new_verific_id(Verific::DesignObj *obj)
 {
-	std::string s = stringf("$%s", obj->Name());
+	std::string s = stringf("$%s$%d", obj->Name(), autoidx++);
 	return s;
 }