[otbn] Minor lint fix Signed-off-by: Michael Schaffner <msf@google.com>
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) );