[fpv] Downgrade an error to a warning
This PR downgrade an error in jaspergold to warning.
The previous error happens when design assign an integer to an enum
type. This happens in an auto-generated otp_ctrl_part_pkg.
Signed-off-by: Cindy Chen <chencindy@opentitan.org>
diff --git a/hw/formal/tools/jaspergold/jaspergold_common_message_process.tcl b/hw/formal/tools/jaspergold/jaspergold_common_message_process.tcl
index de599df..f7f0913 100644
--- a/hw/formal/tools/jaspergold/jaspergold_common_message_process.tcl
+++ b/hw/formal/tools/jaspergold/jaspergold_common_message_process.tcl
@@ -11,6 +11,11 @@
# Error out when a parameter is defined twice for an instance
set_message -error VERI-1402
+# Downgrade the enum cast error to warnings.
+# For example: JasperGold will throw an error and terminate if design assign an int to an enum
+# type.
+set_message -warning VERI-1348
+
# Disabling warnings:
# We use parameter instead of localparam in packages to allow redefinition
# at elaboration time.
