diff options
| author | Aman Goel <amangoel@umich.edu> | 2018-10-01 09:09:40 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-10-01 09:09:40 -0400 |
| commit | 33cb5e05be4fea9e09e1686a29a1f194a44c0e8a (patch) | |
| tree | 8cf91fe789d3f1aec1eac277e594f8e7998b4e4a /frontends/verific/verific.h | |
| parent | 75c1f8d241d67ebb6db56516b4f9fdb0a312aa0b (diff) | |
| parent | 4d2917447cc14c590b4fee5ba36948fb4ee6884b (diff) | |
| download | yosys-33cb5e05be4fea9e09e1686a29a1f194a44c0e8a.tar.gz yosys-33cb5e05be4fea9e09e1686a29a1f194a44c0e8a.tar.bz2 yosys-33cb5e05be4fea9e09e1686a29a1f194a44c0e8a.zip | |
Merge pull request #4 from YosysHQ/master
Merge with official repo
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 |