diff options
| author | clairexen <claire@symbioticeda.com> | 2020-06-10 12:44:23 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-06-10 12:44:23 +0200 |
| commit | b2a0f49371170deb9c19bb9444c1c997fc1d1917 (patch) | |
| tree | 7edcd36834a5c7ad59960588a600532ce6ad7b4e /frontends | |
| parent | a408771c62eed4252cd2a8f4ae6dd7fa75d1e696 (diff) | |
| parent | b3b515087d61762ee350e9fce9cb77fb6cacaa3a (diff) | |
| download | yosys-b2a0f49371170deb9c19bb9444c1c997fc1d1917.tar.gz yosys-b2a0f49371170deb9c19bb9444c1c997fc1d1917.tar.bz2 yosys-b2a0f49371170deb9c19bb9444c1c997fc1d1917.zip | |
Merge pull request #2131 from YosysHQ/claire/preserveffs
Do not optimize away FFs in "prep" and Verific front-end
Diffstat (limited to 'frontends')
| -rw-r--r-- | frontends/verific/verific.cc | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc index 65e71876a..a22a8a93d 100644 --- a/frontends/verific/verific.cc +++ b/frontends/verific/verific.cc @@ -2180,6 +2180,9 @@ struct VerificPass : public Pass { RuntimeFlags::SetVar("vhdl_support_variable_slice", 1); RuntimeFlags::SetVar("vhdl_ignore_assertion_statements", 0); + RuntimeFlags::SetVar("veri_preserve_assignments", 1); + RuntimeFlags::SetVar("vhdl_preserve_assignments", 1); + // Workaround for VIPER #13851 RuntimeFlags::SetVar("veri_create_name_for_unnamed_gen_block", 1); |