commit 86cc65d58d205b7c500a00fa34d79620d28cfd64
author Michael Schaffner <msf@google.com> Tue May 10 13:59:59 2022 -0700
committer tjaychen <timothytim@google.com> Wed May 11 07:50:21 2022 -0700
tree eaa8061078ecf4ae7be7e7fdf5dd5979268eb2e5
parent 19c5849229298121472fe9df2e5bc6527ed1de13

[otbn] Minor lint fix

Signed-off-by: Michael Schaffner <msf@google.com>

hw/ip/otbn/rtl/otbn_stack.sv

diff --git a/hw/ip/otbn/rtl/otbn_stack.sv b/hw/ip/otbn/rtl/otbn_stack.sv
index 894cd0e..333b2f6 100644
--- a/hw/ip/otbn/rtl/otbn_stack.sv
+++ b/hw/ip/otbn/rtl/otbn_stack.sv
@@ -115,7 +115,9 @@
     .set_i      (1'b0),
     .set_cnt_i  ('0),
     .en_i       (stack_wr_ptr_en),
-    .step_i     (stack_wr_ptr_step),
+    // Since this signal has the same width as the counter, negative values will
+    // be correctly be subtracted due to the 2s complement representation.
+    .step_i     (unsigned'(stack_wr_ptr_step)),
     .cnt_o      (stack_wr_ptr),
     .err_o      (stack_wr_ptr_err)
   );