From 7b134c2a8cd63222fd005315f1a07c20e97fd546 Mon Sep 17 00:00:00 2001 From: Miodrag Milanovic Date: Tue, 12 Sep 2023 11:56:15 +0200 Subject: [PATCH] verific - respect order of read and write for rams --- frontends/verific/verific.cc | 3 +++ 1 file changed, 3 insertions(+) diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc index b0d789d8f..4f4fbcb74 100644 --- a/frontends/verific/verific.cc +++ b/frontends/verific/verific.cc @@ -2951,6 +2951,9 @@ struct VerificPass : public Pass { RuntimeFlags::SetVar("db_infer_wide_operators", 1); RuntimeFlags::SetVar("db_infer_set_reset_registers", 0); + // Properly respect order of read and write for rams + RuntimeFlags::SetVar("db_change_inplace_ram_blocking_write_before_read", 1); + RuntimeFlags::SetVar("veri_extract_dualport_rams", 0); RuntimeFlags::SetVar("veri_extract_multiport_rams", 1); RuntimeFlags::SetVar("veri_allow_any_ram_in_loop", 1);