diff options
| -rw-r--r-- | frontends/verific/verific.cc | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc index e0dbe1b32..1a4e3fe91 100644 --- a/frontends/verific/verific.cc +++ b/frontends/verific/verific.cc @@ -2248,6 +2248,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()); + YosysStreamCallBackHandler cb; + veri_file::RegisterCallBackVerificStream(&cb); + #ifdef YOSYSHQ_VERIFIC_EXTENSIONS VerificExtensions::ElaborateAndRewrite("work", &verific_params); #endif |