diff options
| author | Miodrag Milanovic <mmicko@gmail.com> | 2021-08-20 10:19:04 +0200 |
|---|---|---|
| committer | Miodrag Milanovic <mmicko@gmail.com> | 2021-08-20 10:19:04 +0200 |
| commit | b59c42734837f6cb987e97d60e56e096c8d4d40a (patch) | |
| tree | 4c5df9bf6e2a88657fd0d873cad55134aed72b21 /frontends/verific | |
| parent | 75a4cdfc8afc10fed80e43fb1ba31c7edaf6e361 (diff) | |
| download | yosys-b59c42734837f6cb987e97d60e56e096c8d4d40a.tar.gz yosys-b59c42734837f6cb987e97d60e56e096c8d4d40a.tar.bz2 yosys-b59c42734837f6cb987e97d60e56e096c8d4d40a.zip | |
Make Verific extensions optional
Diffstat (limited to 'frontends/verific')
| -rw-r--r-- | frontends/verific/verific.cc | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc index 5a10568c7..1b8bc1b51 100644 --- a/frontends/verific/verific.cc +++ b/frontends/verific/verific.cc @@ -50,7 +50,9 @@ USING_YOSYS_NAMESPACE #include "VhdlUnits.h" #include "VeriLibrary.h" +#ifdef YOSYSHQ_VERIFIC_EXTENSIONS #include "InitialAssertions.h" +#endif #ifndef YOSYSHQ_VERIFIC_API_VERSION # error "Only YosysHQ flavored Verific is supported. Please contact office@yosyshq.com for commercial support for Yosys+Verific." @@ -1961,7 +1963,9 @@ 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()); +#ifdef YOSYSHQ_VERIFIC_EXTENSIONS InitialAssertions::Rewrite("work", &verific_params); +#endif if (top.empty()) { netlists = hier_tree::ElaborateAll(&veri_libs, &vhdl_libs, &verific_params); @@ -2847,8 +2851,9 @@ struct VerificPass : public Pass { std::set<std::string> top_mod_names; +#ifdef YOSYSHQ_VERIFIC_EXTENSIONS InitialAssertions::Rewrite(work, ¶meters); - +#endif if (mode_all) { log("Running hier_tree::ElaborateAll().\n"); |