From: Clifford Wolf <clifford@clifford.at>
Date: Thu, 30 May 2019 08:03:54 +0000 (+0200)
Subject: Enable Verific flag veri_elaborate_top_level_modules_having_interface_ports, fixes... 
X-Git-Tag: yosys-0.9~99
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=2faa1d0e80d213461d4403e36499aaaf1c8088b8;p=yosys.git

Enable Verific flag veri_elaborate_top_level_modules_having_interface_ports, fixes #1055

Signed-off-by: Clifford Wolf <clifford@clifford.at>
---

diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc
index 21a1bbbbe..33d2ac7a8 100644
--- a/frontends/verific/verific.cc
+++ b/frontends/verific/verific.cc
@@ -2016,6 +2016,9 @@ struct VerificPass : public Pass {
 			// WARNING: instantiating unknown module 'XYZ' (VERI-1063)
 			Message::SetMessageType("VERI-1063", VERIFIC_ERROR);
 
+			// https://github.com/YosysHQ/yosys/issues/1055
+			RuntimeFlags::SetVar("veri_elaborate_top_level_modules_having_interface_ports", 1) ;
+
 #ifndef DB_PRESERVE_INITIAL_VALUE
 #  warning Verific was built without DB_PRESERVE_INITIAL_VALUE.
 #endif