From: makaimann <makaim@stanford.edu>
Date: Fri, 6 Apr 2018 00:38:08 +0000 (-0700)
Subject: Set RAM runtime flags for Verific frontend
X-Git-Tag: yosys-0.8~126^2
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=0c404b1f6345088c97d54c851d77969a2f33b25d;p=yosys.git

Set RAM runtime flags for Verific frontend
---

diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc
index 793e296f4..c72f513cb 100644
--- a/frontends/verific/verific.cc
+++ b/frontends/verific/verific.cc
@@ -1632,6 +1632,9 @@ struct VerificPass : public Pass {
 		RuntimeFlags::SetVar("db_preserve_user_nets", 1);
 		RuntimeFlags::SetVar("db_allow_external_nets", 1);
 		RuntimeFlags::SetVar("vhdl_ignore_assertion_statements", 0);
+		RuntimeFlags::SetVar("veri_extract_dualport_rams", 0);
+		RuntimeFlags::SetVar("veri_extract_multiport_rams", 1);
+		RuntimeFlags::SetVar("db_infer_wide_operators", 1);
 		veri_file::DefineCmdLineMacro("VERIFIC");
 		veri_file::DefineCmdLineMacro("SYNTHESIS");