mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-10-31 03:32:29 +00:00
Code Activity

Update to latest verific

Browse source
This commit is contained in:
Miodrag Milanovic 2021-07-21 09:46:53 +02:00
parent 7a25246a7e
commit 987fca5297
1 changed files with 3 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

6
frontends/verific/verific.cc
View file

@ -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)
{