From 3c7122c3788a05d90423f22ec03f97c39da2da0b Mon Sep 17 00:00:00 2001 From: Claire Wolf Date: Tue, 9 Jun 2020 15:54:14 +0200 Subject: Do not optimize away FFs in "prep" and Verific fron-end Signed-off-by: Claire Wolf --- frontends/verific/verific.cc | 3 +++ 1 file changed, 3 insertions(+) (limited to 'frontends') 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); -- cgit v1.2.3