diff options
| author | Claire Wolf <claire@symbioticeda.com> | 2020-06-09 15:54:14 +0200 |
|---|---|---|
| committer | Claire Wolf <claire@symbioticeda.com> | 2020-06-09 15:54:14 +0200 |
| commit | 3c7122c3788a05d90423f22ec03f97c39da2da0b (patch) | |
| tree | 8d1c6075a45cb77b5cb4cc49c81efdb7e1939c34 /frontends/verific/verific.cc | |
| parent | 9a2cf5e3db15218af9a5320a8ca1a7f190aa236b (diff) | |
| download | yosys-3c7122c3788a05d90423f22ec03f97c39da2da0b.tar.gz yosys-3c7122c3788a05d90423f22ec03f97c39da2da0b.tar.bz2 yosys-3c7122c3788a05d90423f22ec03f97c39da2da0b.zip | |
Do not optimize away FFs in "prep" and Verific fron-end
Signed-off-by: Claire Wolf <claire@symbioticeda.com>
Diffstat (limited to 'frontends/verific/verific.cc')
| -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 cb0368fd5..a753ca289 100644 --- a/frontends/verific/verific.cc +++ b/frontends/verific/verific.cc @@ -2175,6 +2175,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); |