commit a8f75dda6f5551b31e5429f89bb85354cc083410
author Michael Schaffner <msf@google.com> Wed Apr 20 14:24:33 2022 -0700
committer Michael Schaffner <msf@google.com> Wed Apr 20 16:48:26 2022 -0700
tree 44a3f25f1760e670871499df947c6b3d25b94afa
parent 8c0ea9a558984142fc9a6a3a126ee04472d4ba84

[otbn] Minor lint fixes

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

hw/ip/otbn/lint/otbn.waiver

diff --git a/hw/ip/otbn/lint/otbn.waiver b/hw/ip/otbn/lint/otbn.waiver
index e4838fc..c7c9a18 100644
--- a/hw/ip/otbn/lint/otbn.waiver
+++ b/hw/ip/otbn/lint/otbn.waiver
@@ -30,3 +30,11 @@
 waive -rules {HIER_NET_NOT_READ NOT_READ} -location {otbn.sv}  \
       -regexp {(Net|Signal) 'imem_wmask_bus' is not read from} \
       -comment {Signal is used in an assertion.}
+
+waive -rules {CLOCK_USE RESET_USE} -location {otbn_alu_bignum.sv otbn_rf_bignum_ff.sv} \
+      -regexp {'(clk_i|rst_ni)' is connected to 'prim_onehot_mux' port} \
+      -comment {The module is fully combinatorial, clk/rst are only used for assertions.}
+
+waive -rules {CLOCK_USE RESET_USE} -location {otbn_instruction_fetch.sv} \
+      -regexp {'(clk_i|rst_ni)' is connected to 'otbn_predecode' port} \
+      -comment {The module is fully combinatorial, clk/rst are only used for assertions.}

hw/ip/otbn/rtl/otbn_predecode.sv

diff --git a/hw/ip/otbn/rtl/otbn_predecode.sv b/hw/ip/otbn/rtl/otbn_predecode.sv
index 40926e7..98326f0 100644
--- a/hw/ip/otbn/rtl/otbn_predecode.sv
+++ b/hw/ip/otbn/rtl/otbn_predecode.sv
@@ -327,7 +327,7 @@
   assign unused_clk = clk_i;
   assign unused_rst = rst_ni;
 
-  `ASSERT(RFRenABignumOnehot, $onehot0(rf_predec_bignum_o.rf_ren_a));
-  `ASSERT(RFRenBBignumOnehot, $onehot0(rf_predec_bignum_o.rf_ren_b));
-  `ASSERT(RFWeBignumOnehot,   $onehot0(rf_predec_bignum_o.rf_we));
+  `ASSERT(RFRenABignumOnehot, $onehot0(rf_predec_bignum_o.rf_ren_a))
+  `ASSERT(RFRenBBignumOnehot, $onehot0(rf_predec_bignum_o.rf_ren_b))
+  `ASSERT(RFWeBignumOnehot,   $onehot0(rf_predec_bignum_o.rf_we))
 endmodule