[otp_ctrl/formal] add bind file to formal target

Add otp_ctrl bind file to tb.
Add otp_ctrl to fpv_all run script.
A few small fix to avoid otp_ctrl fpv compile error

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

hw/formal/fpv_all

diff --git a/hw/formal/fpv_all b/hw/formal/fpv_all
index 8585837..94a0b2c 100755
--- a/hw/formal/fpv_all
+++ b/hw/formal/fpv_all
@@ -26,6 +26,7 @@
   "uart"
   "hmac"
   "flash_ctrl"
+  "otp_ctrl"
   "pwrmgr"
   "usbuart"
   "usbdev"

hw/ip/otp_ctrl/dv/tb/otp_ctrl_bind.sv

diff --git a/hw/ip/otp_ctrl/dv/tb/otp_ctrl_bind.sv b/hw/ip/otp_ctrl/dv/tb/otp_ctrl_bind.sv
new file mode 100644
index 0000000..1a14ce8
--- /dev/null
+++ b/hw/ip/otp_ctrl/dv/tb/otp_ctrl_bind.sv
@@ -0,0 +1,17 @@
+// Copyright lowRISC contributors.
+// Licensed under the Apache License, Version 2.0, see LICENSE for details.
+// SPDX-License-Identifier: Apache-2.0
+
+module otp_ctrl_bind;
+
+  bind otl_ctrl tlul_assert #(
+    .EndpointType("Device")
+  ) tlul_assert_device (
+    .clk_i,
+    .rst_ni,
+    .h2d  (tl_i),
+    .d2h  (tl_o)
+  );
+
+
+endmodule

hw/ip/otp_ctrl/otp_ctrl.core

diff --git a/hw/ip/otp_ctrl/otp_ctrl.core b/hw/ip/otp_ctrl/otp_ctrl.core
index 9d1989e..84130e1 100644
--- a/hw/ip/otp_ctrl/otp_ctrl.core
+++ b/hw/ip/otp_ctrl/otp_ctrl.core
@@ -36,6 +36,11 @@
       - lint/otp_ctrl.waiver
     file_type: waiver
 
+  files_formal:
+    files:
+      - dv/tb/otp_ctrl_bind.sv
+    file_type: systemVerilogSource
+
 parameters:
   SYNTHESIS:
     datatype: bool

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 9879866..e43d034 100644
--- a/hw/ip/otp_ctrl/rtl/otp_ctrl.sv
+++ b/hw/ip/otp_ctrl/rtl/otp_ctrl.sv
@@ -214,7 +214,7 @@
     .rst_ni,
     .data_i  ( {reg2hw.direct_access_wdata[1].q,
                 reg2hw.direct_access_wdata[0].q}    ),
-    .cmd_i   ( reg2hw.direct_access_wdata[1].q[2:0] ),
+    .cmd_i   ( otp_scrmbl_cmd_e'(reg2hw.direct_access_wdata[1].q[2:0]) ),
     .valid_i ( reg2hw.direct_access_wdata[1].qe     ),
     .ready_o (                                      ),
     .data_o  ( otp_scrambler_out                    ),

hw/ip/otp_ctrl/rtl/otp_ctrl_pkg.sv

diff --git a/hw/ip/otp_ctrl/rtl/otp_ctrl_pkg.sv b/hw/ip/otp_ctrl/rtl/otp_ctrl_pkg.sv
index 06fe8f6..5b94338 100644
--- a/hw/ip/otp_ctrl/rtl/otp_ctrl_pkg.sv
+++ b/hw/ip/otp_ctrl/rtl/otp_ctrl_pkg.sv
@@ -38,7 +38,7 @@
   // Typedefs for LC Interface //
   ///////////////////////////////
 
-  parameter int NumAlerts = 1;
+  parameter int NumAlerts = 2;
   parameter logic [NumAlerts-1:0] AlertAsyncOn = NumAlerts'(1'b0);
 
   ///////////////////////////////
@@ -54,7 +54,7 @@
   } lc_value_e;
 
   // TODO: move to lc_ctrl_pkg
-  typedef enum lc_value_e [5:0] {
+  typedef enum logic [47:0] {
     //                GRP5    GRP4    GRP3    GRP2    GRP1    GRP0
     LcStateRaw     = {6{Value0}},
     LcStateTest    = {Value0, Value0, Value0, Value0, Value0, Value1},