diff options
author | Clifford Wolf <clifford@clifford.at> | 2018-09-04 20:06:10 +0200 |
---|---|---|
committer | Clifford Wolf <clifford@clifford.at> | 2018-09-04 20:06:10 +0200 |
commit | 5d9d22f66d512d33b2c1a13c4f1a20f944e6acc3 (patch) | |
tree | 2730ea375ce456dc66d92786771a93abc16b6f69 /frontends/verific/verific.cc | |
parent | 0b7a18470bbd35214fdeff204f9c20964e69b5c5 (diff) | |
download | yosys-5d9d22f66d512d33b2c1a13c4f1a20f944e6acc3.tar.gz yosys-5d9d22f66d512d33b2c1a13c4f1a20f944e6acc3.tar.bz2 yosys-5d9d22f66d512d33b2c1a13c4f1a20f944e6acc3.zip |
Add "verific -L <int>" option
Signed-off-by: Clifford Wolf <clifford@clifford.at>
Diffstat (limited to 'frontends/verific/verific.cc')
-rw-r--r-- | frontends/verific/verific.cc | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc index 1dd6d7e24..c5fa58313 100644 --- a/frontends/verific/verific.cc +++ b/frontends/verific/verific.cc @@ -64,6 +64,7 @@ YOSYS_NAMESPACE_BEGIN int verific_verbose; bool verific_import_pending; string verific_error_msg; +int verific_sva_fsm_limit; vector<string> verific_incdirs, verific_libdirs; @@ -1618,6 +1619,8 @@ struct VerificExtNets void verific_import(Design *design, std::string top) { + verific_sva_fsm_limit = 16; + std::set<Netlist*> nl_todo, nl_done; { @@ -1789,6 +1792,9 @@ struct VerificPass : public Pass { log(" -nosva\n"); log(" Ignore SVA properties, do not infer checker logic.\n"); log("\n"); + log(" -L <int>\n"); + log(" Maximum number of ctrl bits for SVA checker FSMs (default=16).\n"); + log("\n"); log(" -n\n"); log(" Keep all Verific names on instances and nets. By default only\n"); log(" user-declared names are preserved.\n"); @@ -1830,6 +1836,7 @@ struct VerificPass : public Pass { } verific_verbose = 0; + verific_sva_fsm_limit = 16; const char *release_str = Message::ReleaseString(); time_t release_time = Message::ReleaseDate(); @@ -2036,6 +2043,10 @@ struct VerificPass : public Pass { mode_nosva = true; continue; } + if (args[argidx] == "-L" && argidx+1 < GetSize(args)) { + verific_sva_fsm_limit = atoi(args[++argidx].c_str()); + continue; + } if (args[argidx] == "-n") { mode_names = true; continue; |