diff options
Diffstat (limited to 'frontends/verific/verific.h')
| -rw-r--r-- | frontends/verific/verific.h | 10 |
1 files changed, 4 insertions, 6 deletions
diff --git a/frontends/verific/verific.h b/frontends/verific/verific.h index 4f1cb5d0f..28a0c174b 100644 --- a/frontends/verific/verific.h +++ b/frontends/verific/verific.h @@ -23,6 +23,8 @@ YOSYS_NAMESPACE_BEGIN +extern bool verific_verbose; + extern pool<int> verific_sva_prims; struct VerificImporter; @@ -42,9 +44,9 @@ struct VerificImporter std::map<Verific::Net*, RTLIL::SigBit> net_map; std::map<Verific::Net*, Verific::Net*> sva_posedge_map; - bool mode_gates, mode_keep, mode_nosva, mode_nosvapp, mode_names, verbose; + bool mode_gates, mode_keep, mode_nosva, mode_names; - VerificImporter(bool mode_gates, bool mode_keep, bool mode_nosva, bool mode_nosvapp, bool mode_names, bool verbose); + VerificImporter(bool mode_gates, bool mode_keep, bool mode_nosva, bool mode_names); RTLIL::SigBit net_map_at(Verific::Net *net); @@ -70,10 +72,6 @@ void import_sva_assert(VerificImporter *importer, Verific::Instance *inst); void import_sva_assume(VerificImporter *importer, Verific::Instance *inst); void import_sva_cover(VerificImporter *importer, Verific::Instance *inst); -void svapp_assert(Verific::Instance *inst); -void svapp_assume(Verific::Instance *inst); -void svapp_cover(Verific::Instance *inst); - YOSYS_NAMESPACE_END #endif |