diff options
| author | Miodrag Milanovic <mmicko@gmail.com> | 2021-07-21 09:46:53 +0200 |
|---|---|---|
| committer | Miodrag Milanovic <mmicko@gmail.com> | 2021-07-21 09:46:53 +0200 |
| commit | 987fca5297d4e3290df64b7a54a3af9b6ddf11d9 (patch) | |
| tree | 2ff0bfaf64f8b07a09128e0349ef75dedf11e16f /frontends/verific | |
| parent | 7a25246a7ebf0b7495beae4a19569f619ca19c78 (diff) | |
| download | yosys-987fca5297d4e3290df64b7a54a3af9b6ddf11d9.tar.gz yosys-987fca5297d4e3290df64b7a54a3af9b6ddf11d9.tar.bz2 yosys-987fca5297d4e3290df64b7a54a3af9b6ddf11d9.zip | |
Update to latest verific
Diffstat (limited to 'frontends/verific')
| -rw-r--r-- | frontends/verific/verific.cc | 6 |
1 files changed, 3 insertions, 3 deletions
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, ¶meters); if (mode_all) { |