From 4339b3681a9a1668384a869d4ade85a52135a043 Mon Sep 17 00:00:00 2001 From: Akash Levy Date: Mon, 3 Jun 2024 16:17:51 -0700 Subject: [PATCH] Elaborate top level modules undo --- frontends/verific/verific.cc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc index 043c0ae33..0080c6c42 100644 --- a/frontends/verific/verific.cc +++ b/frontends/verific/verific.cc @@ -3279,7 +3279,7 @@ struct VerificPass : public Pass { Message::SetMessageType("VERI-1063", VERIFIC_ERROR); // https://github.com/YosysHQ/yosys/issues/1055 - RuntimeFlags::SetVar("veri_elaborate_top_level_modules_having_interface_ports", 0) ; // SILIMATE: add to resolve bug related to interfaces + RuntimeFlags::SetVar("veri_elaborate_top_level_modules_having_interface_ports", 1) ; RuntimeFlags::SetVar("verific_produce_verbose_syntax_error_message", 1);