diff options
| author | Miodrag Milanović <mmicko@gmail.com> | 2021-10-27 17:20:31 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-10-27 17:20:31 +0200 |
| commit | 19c2d6e15d00bccfa5de4dacef3515dbcdbe3154 (patch) | |
| tree | 65409d89c5dd41d8e87596d826c1f9be13d02d59 /frontends/verific/verific.cc | |
| parent | e14302a3ea2781dca2dfa3933be18c8e26654dce (diff) | |
| parent | f7cc388bb57b66a97ece786697de6c992072a438 (diff) | |
| download | yosys-19c2d6e15d00bccfa5de4dacef3515dbcdbe3154.tar.gz yosys-19c2d6e15d00bccfa5de4dacef3515dbcdbe3154.tar.bz2 yosys-19c2d6e15d00bccfa5de4dacef3515dbcdbe3154.zip | |
Merge pull request #3063 from YosysHQ/micko/verific_aldff
Enable async load dff emit by default in Verific
Diffstat (limited to 'frontends/verific/verific.cc')
| -rw-r--r-- | frontends/verific/verific.cc | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc index 47ddbc662..2d0574cf9 100644 --- a/frontends/verific/verific.cc +++ b/frontends/verific/verific.cc @@ -2474,11 +2474,8 @@ struct VerificPass : public Pass { RuntimeFlags::SetVar("db_preserve_user_nets", 1); RuntimeFlags::SetVar("db_allow_external_nets", 1); RuntimeFlags::SetVar("db_infer_wide_operators", 1); -#ifdef VERIFIC_ASYNC_LOAD RuntimeFlags::SetVar("db_infer_set_reset_registers", 0); -#else - RuntimeFlags::SetVar("db_infer_set_reset_registers", 1); -#endif + RuntimeFlags::SetVar("veri_extract_dualport_rams", 0); RuntimeFlags::SetVar("veri_extract_multiport_rams", 1); |