diff options
| author | Jim Lawson <ucbjrl@berkeley.edu> | 2018-09-17 14:31:57 -0700 |
|---|---|---|
| committer | Jim Lawson <ucbjrl@berkeley.edu> | 2018-09-17 14:31:57 -0700 |
| commit | 6a809a1bb15327dfa0134b872455d47b0ebef73c (patch) | |
| tree | 1f65cca24d5309f79b19e399210d5545d2010e3c /frontends/verific/verificsva.cc | |
| parent | 036e3f9c1b62f42812cd3bdd933af7d6a8e2209c (diff) | |
| parent | 592a82c0ad8beb6de023aa2a131aab6472f949e8 (diff) | |
| download | yosys-6a809a1bb15327dfa0134b872455d47b0ebef73c.tar.gz yosys-6a809a1bb15327dfa0134b872455d47b0ebef73c.tar.bz2 yosys-6a809a1bb15327dfa0134b872455d47b0ebef73c.zip | |
Merge remote-tracking branch 'upstream/master'
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++) |