diff options
| author | Eddie Hung <eddie@fpgeh.com> | 2019-03-13 19:42:18 +0000 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2019-05-03 20:53:25 +0200 |
| commit | a27b42e97571c817b0698964329d61dddc6e9a3a (patch) | |
| tree | 0c0948a580318b466109d825eecc874170070c7e /frontends/verific/verific.h | |
| parent | 0f1a4cc03ca7cd8970c0c9124c4644103505960e (diff) | |
| download | yosys-a27b42e97571c817b0698964329d61dddc6e9a3a.tar.gz yosys-a27b42e97571c817b0698964329d61dddc6e9a3a.tar.bz2 yosys-a27b42e97571c817b0698964329d61dddc6e9a3a.zip | |
WIP -chparam support for hierarchy when verific
Diffstat (limited to 'frontends/verific/verific.h')
| -rw-r--r-- | frontends/verific/verific.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/frontends/verific/verific.h b/frontends/verific/verific.h index b331dd4b9..fb44b1736 100644 --- a/frontends/verific/verific.h +++ b/frontends/verific/verific.h @@ -26,7 +26,7 @@ YOSYS_NAMESPACE_BEGIN extern int verific_verbose; extern bool verific_import_pending; -extern void verific_import(Design *design, std::string top = std::string()); +extern void verific_import(Design *design, const std::map<std::string,std::string> ¶meters, std::string top = std::string()); extern pool<int> verific_sva_prims; @@ -93,7 +93,7 @@ struct VerificImporter void merge_past_ffs_clock(pool<RTLIL::Cell*> &candidates, SigBit clock, bool clock_pol); void merge_past_ffs(pool<RTLIL::Cell*> &candidates); - void import_netlist(RTLIL::Design *design, Verific::Netlist *nl, std::set<Verific::Netlist*> &nl_todo); + void import_netlist(RTLIL::Design *design, Verific::Netlist *nl, std::set<Verific::Netlist*> &nl_todo, bool top=false); }; void verific_import_sva_assert(VerificImporter *importer, Verific::Instance *inst); |