Enable Verific flag veri_elaborate_top_level_modules_having_interface_ports, fixes...

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

diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc
index 21a1bbbbe24687feddd90a7d82df78cbfe0f778d..33d2ac7a8d494d6c6cfe901640fc970426f6b8ae 100644 (file)
--- 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