verific set db_infer_set_reset_registers

diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc
index 99094f099559df36756291c30acc87596def1830..23100375396efe5dd12dccd60df07b3c7996a960 100644 (file)
--- a/frontends/verific/verific.cc
+++ b/frontends/verific/verific.cc
@@ -2313,6 +2313,7 @@ struct VerificPass : public Pass {
                        RuntimeFlags::SetVar("db_preserve_user_nets", 1);
                        RuntimeFlags::SetVar("db_allow_external_nets", 1);
                        RuntimeFlags::SetVar("db_infer_wide_operators", 1);
+                       RuntimeFlags::SetVar("db_infer_set_reset_registers",1);
 
                        RuntimeFlags::SetVar("veri_extract_dualport_rams", 0);
                        RuntimeFlags::SetVar("veri_extract_multiport_rams", 1);