commit ef9d438a75a60ed361949af75a6c132cb3d3b14a
author Cindy Chen <chencindy@google.com> Tue Feb 02 16:49:36 2021 -0800
committer cindychip <cindy.chen0316@gmail.com> Wed Feb 03 11:05:58 2021 -0800
tree 1873af6d2cc85200990677da8958447493b87159
parent 7826935ee4abce78426f0974cf1c7718985aa35b

[otp_ctrl] Fix DV warnings

This PR fixes DV enum syntax warning. We added a casting to avoid the
warning.

Signed-off-by: Cindy Chen <chencindy@google.com>

hw/ip/otp_ctrl/rtl/otp_ctrl.sv

diff --git a/hw/ip/otp_ctrl/rtl/otp_ctrl.sv b/hw/ip/otp_ctrl/rtl/otp_ctrl.sv
index a888c2b..f7d244a 100644
--- a/hw/ip/otp_ctrl/rtl/otp_ctrl.sv
+++ b/hw/ip/otp_ctrl/rtl/otp_ctrl.sv
@@ -81,11 +81,13 @@
 
   // These error codes need to be identical.
   `ASSERT_INIT(ErrorCodeWidth_A, OtpErrWidth == prim_otp_pkg::ErrWidth)
-  `ASSERT_INIT(OtpErrorCode0_A, NoError == prim_otp_pkg::NoError)
-  `ASSERT_INIT(OtpErrorCode1_A, MacroError == prim_otp_pkg::MacroError)
-  `ASSERT_INIT(OtpErrorCode2_A, MacroEccCorrError == prim_otp_pkg::MacroEccCorrError)
-  `ASSERT_INIT(OtpErrorCode3_A, MacroEccUncorrError == prim_otp_pkg::MacroEccUncorrError)
-  `ASSERT_INIT(OtpErrorCode4_A, MacroWriteBlankError == prim_otp_pkg::MacroWriteBlankError)
+  `ASSERT_INIT(OtpErrorCode0_A,  int'(NoError) == int'(prim_otp_pkg::NoError))
+  `ASSERT_INIT(OtpErrorCode1_A,  int'(MacroError) == int'(prim_otp_pkg::MacroError))
+  `ASSERT_INIT(OtpErrorCode2_A,  int'(MacroEccCorrError) == int'(prim_otp_pkg::MacroEccCorrError))
+  `ASSERT_INIT(OtpErrorCode3_A,
+               int'(MacroEccUncorrError) == int'(prim_otp_pkg::MacroEccUncorrError))
+  `ASSERT_INIT(OtpErrorCode4_A,
+               int'(MacroWriteBlankError) == int'(prim_otp_pkg::MacroWriteBlankError))
 
   /////////////
   // Regfile //