Compile option for enabling async load verific support

diff --git a/Makefile b/Makefile
index 951587aa30cfaa0dac07fe72a57edce54acabf0e..9d806f438fab5f7b37c3c1b17199db3abb39db76 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -20,6 +20,7 @@ ENABLE_GHDL := 0
 ENABLE_VERIFIC := 0
 DISABLE_VERIFIC_EXTENSIONS := 0
 DISABLE_VERIFIC_VHDL := 0
+ENABLE_VERIFIC_ASYNC_LOAD := 0
 ENABLE_COVER := 1
 ENABLE_LIBYOSYS := 0
 ENABLE_PROTOBUF := 0
@@ -501,6 +502,9 @@ endif
 ifeq ($(ENABLE_VERIFIC),1)
 VERIFIC_DIR ?= /usr/local/src/verific_lib
 VERIFIC_COMPONENTS ?= verilog database util containers hier_tree
+ifeq ($(ENABLE_VERIFIC_ASYNC_LOAD),1)
+CXXFLAGS += -DVERIFIC_ASYNC_LOAD
+endif
 ifneq ($(DISABLE_VERIFIC_VHDL),1)
 VERIFIC_COMPONENTS += vhdl
 CXXFLAGS += -DVERIFIC_VHDL_SUPPORT

diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc
index 18fba9b76acf716a148ff952afeeee27b23c96c9..47ddbc66205d7ffec565230905a5f475fd514241 100644 (file)
--- a/frontends/verific/verific.cc
+++ b/frontends/verific/verific.cc
@@ -2474,8 +2474,11 @@ 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);
+#ifdef VERIFIC_ASYNC_LOAD
+                       RuntimeFlags::SetVar("db_infer_set_reset_registers", 0);
+#else
                        RuntimeFlags::SetVar("db_infer_set_reset_registers", 1);
-
+#endif
                        RuntimeFlags::SetVar("veri_extract_dualport_rams", 0);
                        RuntimeFlags::SetVar("veri_extract_multiport_rams", 1);