Disable VERI-1063 during static elaboration

YosysHQ · Dec 6, 2024 · 03a8341 · 03a8341
1 parent 2ca611b
commit 03a8341
Showing 1 changed file with 8 additions and 1 deletion.
diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc
@@ -2691,8 +2691,12 @@ struct VerificExtNets
 void import_all(const char* work, std::map<std::string,Netlist*> *nl_todo, Map *parameters, bool show_message, std::string ppfile YS_MAYBE_UNUSED)
 {
 #ifdef YOSYSHQ_VERIFIC_EXTENSIONS
+	msg_type_t prev_1063 = Message::GetMessageType("VERI-1063") ;
+	Message::SetMessageType("VERI-1063", VERIFIC_INFO);
 	VerificExtensions::ElaborateAndRewrite(work, parameters);
 	verific_error_msg.clear();
+	Message::ClearMessageType("VERI-1063") ; 
+	Message::SetMessageType("VERI-1063", prev_1063);
 #endif
 #ifdef VERIFIC_SYSTEMVERILOG_SUPPORT
 	if (!ppfile.empty())
@@ -2823,8 +2827,12 @@ std::set<std::string> import_tops(const char* work, std::map<std::string,Netlist
 
 #ifdef YOSYSHQ_VERIFIC_EXTENSIONS
 		if (static_elaborate) {
+			msg_type_t prev_1063 = Message::GetMessageType("VERI-1063") ;
+			Message::SetMessageType("VERI-1063", VERIFIC_INFO);
 			VerificExtensions::ElaborateAndRewrite(work, &veri_modules, &vhdl_units, parameters);
 			verific_error_msg.clear();
+			Message::ClearMessageType("VERI-1063") ; 
+			Message::SetMessageType("VERI-1063", prev_1063);
 #endif
 #ifdef VERIFIC_SYSTEMVERILOG_SUPPORT
 			if (!ppfile.empty())
@@ -3424,7 +3432,6 @@ struct VerificPass : public Pass {
 			RuntimeFlags::SetVar("veri_preserve_assignments", 1);
 			RuntimeFlags::SetVar("veri_preserve_comments", 1);
 			RuntimeFlags::SetVar("veri_preserve_drivers", 1);
-			RuntimeFlags::SetVar("veri_create_empty_box", 1);
 
 			// Workaround for VIPER #13851
 			RuntimeFlags::SetVar("veri_create_name_for_unnamed_gen_block", 1);