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/verificsva.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/verificsva.cc')
| -rw-r--r-- | frontends/verific/verificsva.cc | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/frontends/verific/verificsva.cc b/frontends/verific/verificsva.cc index 85b842186..cdc9ece8c 100644 --- a/frontends/verific/verificsva.cc +++ b/frontends/verific/verificsva.cc @@ -466,13 +466,14 @@ struct SvaFsm dnode.ctrl.sort_and_unify(); - if (GetSize(dnode.ctrl) > 16) { + if (GetSize(dnode.ctrl) > verific_sva_fsm_limit) { if (verific_verbose >= 2) { log(" detected state explosion in DFSM generation:\n"); dump(); log(" ctrl signal: %s\n", log_signal(dnode.ctrl)); } - log_error("SVA DFSM state ctrl signal has %d (>16) bits. Stopping to prevent exponential design size explosion.\n", GetSize(dnode.ctrl)); + log_error("SVA DFSM state ctrl signal has %d (>%d) bits. Stopping to prevent exponential design size explosion.\n", + GetSize(dnode.ctrl), verific_sva_fsm_limit); } for (int i = 0; i < (1 << GetSize(dnode.ctrl)); i++) |