[fpv/otp_ctrl] Downgrade an error to warning

This PR downgrades an error that requires top_level to declare a wire
that only used to connect two submodules.

Signed-off-by: Cindy Chen <chencindy@opentitan.org>

hw/formal/tools/jaspergold/jaspergold_common_message_process.tcl

diff --git a/hw/formal/tools/jaspergold/jaspergold_common_message_process.tcl b/hw/formal/tools/jaspergold/jaspergold_common_message_process.tcl
index 97f557a..d49f190 100644
--- a/hw/formal/tools/jaspergold/jaspergold_common_message_process.tcl
+++ b/hw/formal/tools/jaspergold/jaspergold_common_message_process.tcl
@@ -21,6 +21,11 @@
 # Used for pwrmgr's pwrmgr_clock_enables_sva_if.sv assertion.
 set_message -warning EOBS012
 
+# Downgrade the following error to warning:
+# When two submodules are connected via a wire, there is no need to explicitly declare that wire in
+# the top module.
+set_message -warning VERI-9030
+
 # Disabling warnings:
 # We use parameter instead of localparam in packages to allow redefinition
 # at elaboration time.