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;
 }