From f1dea786031c232ffb26e322a3131eb928f91c94 Mon Sep 17 00:00:00 2001 From: "N. Engelhardt" Date: Fri, 6 Jun 2025 15:37:42 +0200 Subject: [PATCH 1/3] don't warn for every blackbox from verific --- passes/hierarchy/hierarchy.cc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/passes/hierarchy/hierarchy.cc b/passes/hierarchy/hierarchy.cc index d94b5cef6..69ef744ca 100644 --- a/passes/hierarchy/hierarchy.cc +++ b/passes/hierarchy/hierarchy.cc @@ -1452,7 +1452,7 @@ struct HierarchyPass : public Pass { bool resize_widths = !keep_portwidths && GetSize(w) != GetSize(conn.second); if (resize_widths && verific_mod && boxed_params) - log_warning("Ignoring width mismatch on %s.%s.%s from verific, is port width parametrizable?\n", + log_debug("Ignoring width mismatch on %s.%s.%s from verific, is port width parametrizable?\n", log_id(module), log_id(cell), log_id(conn.first) ); else if (resize_widths) { From f22248f056b640f63aaeff40510b78d45244d0d4 Mon Sep 17 00:00:00 2001 From: "N. Engelhardt" Date: Fri, 6 Jun 2025 16:30:50 +0200 Subject: [PATCH 2/3] downgrade verific warnings about common coding styles --- frontends/verific/verific.cc | 11 +++++++++++ 1 file changed, 11 insertions(+) diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc index 411804566..d12f8a5a5 100644 --- a/frontends/verific/verific.cc +++ b/frontends/verific/verific.cc @@ -3489,6 +3489,14 @@ struct VerificPass : public Pass { // WARNING: instantiating unknown module 'XYZ' (VERI-1063) Message::SetMessageType("VERI-1063", VERIFIC_ERROR); + // Downgrade warnings about things that are normal + // VERIFIC-WARNING [VERI-1209] foo.sv:98: expression size 7 truncated to fit in target size 6 + Message::SetMessageType("VERI-1209", VERIFIC_INFO); + // VERIFIC-WARNING [VERI-1142] foo.sv:55: system task 'display' is ignored for synthesis + Message::SetMessageType("VERI-1142", VERIFIC_INFO); + // VERIFIC-WARNING [VERI-2418] foo.svh:503: parameter 'all_cfgs_gp' declared inside package 'bp_common_pkg' shall be treated as localparam + Message::SetMessageType("VERI-2418", VERIFIC_INFO); + // https://github.com/YosysHQ/yosys/issues/1055 RuntimeFlags::SetVar("veri_elaborate_top_level_modules_having_interface_ports", 1) ; #endif @@ -3547,6 +3555,9 @@ struct VerificPass : public Pass { } else if (Strings::compare(args[argidx].c_str(), "warnings")) { Message::SetAllMessageType(VERIFIC_WARNING, new_type); } else if (Strings::compare(args[argidx].c_str(), "infos")) { + Message::SetMessageType("VERI-1209", new_type); + Message::SetMessageType("VERI-1142", new_type); + Message::SetMessageType("VERI-2418", new_type); Message::SetAllMessageType(VERIFIC_INFO, new_type); } else if (Strings::compare(args[argidx].c_str(), "comments")) { Message::SetAllMessageType(VERIFIC_COMMENT, new_type); From 3fe31294d63d610da9f776932fdc56481532bb66 Mon Sep 17 00:00:00 2001 From: "N. Engelhardt" Date: Fri, 6 Jun 2025 16:41:25 +0200 Subject: [PATCH 3/3] disable warning for intentional use of deprecated function (to assert the feature isn't used any more) --- kernel/rtlil.cc | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/kernel/rtlil.cc b/kernel/rtlil.cc index 1cdc15bb5..189db0648 100644 --- a/kernel/rtlil.cc +++ b/kernel/rtlil.cc @@ -2409,7 +2409,14 @@ void RTLIL::Module::check() // assertion check below to make sure that there are no // cases where a cell has a blackbox attribute since // that is deprecated + #ifdef __GNUC__ + #pragma GCC diagnostic push + #pragma GCC diagnostic ignored "-Wdeprecated-declarations" + #endif log_assert(!it.second->get_blackbox_attribute()); + #ifdef __GNUC__ + #pragma GCC diagnostic pop + #endif } }