From: Miodrag Milanovic <mmicko@gmail.com>
Date: Wed, 21 Jul 2021 07:46:53 +0000 (+0200)
Subject: Update to latest verific
X-Git-Tag: yosys-0.10~89
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=987fca5297d4e3290df64b7a54a3af9b6ddf11d9;p=yosys.git

Update to latest verific
---

diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc
index 997a8e826..357b88043 100644
--- a/frontends/verific/verific.cc
+++ b/frontends/verific/verific.cc
@@ -56,7 +56,7 @@ USING_YOSYS_NAMESPACE
 #  error "Only YosysHQ flavored Verific is supported. Please contact office@yosyshq.com for commercial support for Yosys+Verific."
 #endif
 
-#if YOSYSHQ_VERIFIC_API_VERSION < 20210602
+#if YOSYSHQ_VERIFIC_API_VERSION < 20210603
 #  error "Please update your version of YosysHQ flavored Verific."
 #endif
 
@@ -1961,7 +1961,7 @@ void verific_import(Design *design, const std::map<std::string,std::string> &par
 	for (const auto &i : parameters)
 		verific_params.Insert(i.first.c_str(), i.second.c_str());
 
-	InitialAssertions::Rewrite("work");
+	InitialAssertions::Rewrite("work", &verific_params);
 
 	if (top.empty()) {
 		netlists = hier_tree::ElaborateAll(&veri_libs, &vhdl_libs, &verific_params);
@@ -2847,7 +2847,7 @@ struct VerificPass : public Pass {
 
 			std::set<std::string> top_mod_names;
 
-			InitialAssertions::Rewrite(work);
+			InitialAssertions::Rewrite(work, &parameters);
 
 			if (mode_all)
 			{