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/verific.h | |
| 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/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 cbd9314db..334a436af 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 |