diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc
index 56f612d0f..9c7b6d937 100644
--- a/frontends/verific/verific.cc
+++ b/frontends/verific/verific.cc
@@ -3173,6 +3173,11 @@ struct VerificPass : public Pass {
 		log("VHDL default library path.\n");
 		log("\n");
 		log("\n");
+		log("    import -reset_autoidx\n");
+		log("\n");
+		log("Reset auto-index.\n");
+		log("\n");
+		log("\n");
 #endif
 		log("    import -set-error <msg_id>..\n");
 		log("    import -set-warning <msg_id>..\n");
@@ -3683,6 +3688,11 @@ struct VerificPass : public Pass {
 			goto check_error;
 		}
 
+		if (GetSize(args) > argidx && args[argidx] == "-reset_autoidx") {
+			autoidx = 1;
+			goto check_error;
+		}
+
 		if (GetSize(args) > argidx && (args[argidx] == "-f" || args[argidx] == "-F" || args[argidx] == "-FF"))
 		{
 			unsigned verilog_mode = veri_file::SYSTEM_VERILOG;