diff options
| author | Ruben Undheim <ruben.undheim@gmail.com> | 2018-10-15 23:51:39 +0200 |
|---|---|---|
| committer | Ruben Undheim <ruben.undheim@gmail.com> | 2018-10-15 23:51:39 +0200 |
| commit | 7b99a3646c44759b82d7df0361d59c72776b8aed (patch) | |
| tree | bc60a2625efccaaab3fd5e548e0701179be84fd9 /frontends/verific/verific.h | |
| parent | 5033b51947a6ef02cb785b5622e993335efa750a (diff) | |
New upstream version 0.7+20181007git9850de4
Diffstat (limited to 'frontends/verific/verific.h')
| -rw-r--r-- | frontends/verific/verific.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/frontends/verific/verific.h b/frontends/verific/verific.h index cbd9314d..334a436a 100644 --- a/frontends/verific/verific.h +++ b/frontends/verific/verific.h @@ -101,6 +101,8 @@ void verific_import_sva_cover(VerificImporter *importer, Verific::Instance *inst void verific_import_sva_trigger(VerificImporter *importer, Verific::Instance *inst); bool verific_is_sva_net(VerificImporter *importer, Verific::Net *net); +extern int verific_sva_fsm_limit; + YOSYS_NAMESPACE_END #endif |