diff options
| author | Clifford Wolf <clifford@clifford.at> | 2019-11-20 13:49:27 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-11-20 13:49:27 +0100 |
| commit | 0ac330bb81946081a3ab9ae45ef5aa7122dcb786 (patch) | |
| tree | 92b3e480508add4556ca59ac331cac5865169e11 /frontends/verific/verific.h | |
| parent | 7ea0a5937ba2572f6d9d62e73e24df480c49561d (diff) | |
| parent | 55bda2b2c693a7ff79da545e7b52901de00df475 (diff) | |
| download | yosys-0ac330bb81946081a3ab9ae45ef5aa7122dcb786.tar.gz yosys-0ac330bb81946081a3ab9ae45ef5aa7122dcb786.tar.bz2 yosys-0ac330bb81946081a3ab9ae45ef5aa7122dcb786.zip | |
Merge pull request #1507 from YosysHQ/clifford/verificfixes
Some fixes in our Verific integration
Diffstat (limited to 'frontends/verific/verific.h')
| -rw-r--r-- | frontends/verific/verific.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/frontends/verific/verific.h b/frontends/verific/verific.h index 5cbd78f7b..2ccfcd42c 100644 --- a/frontends/verific/verific.h +++ b/frontends/verific/verific.h @@ -93,7 +93,7 @@ struct VerificImporter void merge_past_ffs_clock(pool<RTLIL::Cell*> &candidates, SigBit clock, bool clock_pol); void merge_past_ffs(pool<RTLIL::Cell*> &candidates); - void import_netlist(RTLIL::Design *design, Verific::Netlist *nl, std::set<Verific::Netlist*> &nl_todo); + void import_netlist(RTLIL::Design *design, Verific::Netlist *nl, std::set<Verific::Netlist*> &nl_todo, bool norename = false); }; void verific_import_sva_assert(VerificImporter *importer, Verific::Instance *inst); |