commit b4c1c8b90c19b572f175ce2e2a4efd1a652da114
author Philipp Wagner <phw@lowrisc.org> Thu Sep 17 15:53:40 2020 +0100
committer Philipp Wagner <mail@philipp-wagner.com> Thu Sep 17 18:34:56 2020 +0100
tree 4cb853d6eccf9f1c0e0d97e0da131770a08fe6c5
parent 8d0a22458d6cbc5ec1d5479473521b5268868d62

[otbn] Add ASSERT_KNOWN to idle output

All outputs of the top-level OTBN module need to have known values after
reset, and ensure that using ASSERT_KNOWN (according to
ASSERT_KNOWN_ADDED as documented at
https://docs.opentitan.org/doc/project/checklist/index.html). Add the
last assertion that's missing.

Signed-off-by: Philipp Wagner <phw@lowrisc.org>

hw/ip/otbn/rtl/otbn.sv

diff --git a/hw/ip/otbn/rtl/otbn.sv b/hw/ip/otbn/rtl/otbn.sv
index edb2b81..b3f9906 100644
--- a/hw/ip/otbn/rtl/otbn.sv
+++ b/hw/ip/otbn/rtl/otbn.sv
@@ -490,5 +490,6 @@
   `ASSERT_KNOWN(IntrDoneOKnown_A, intr_done_o)
   `ASSERT_KNOWN(IntrErrOKnown_A, intr_err_o)
   `ASSERT_KNOWN(AlertTxOKnown_A, alert_tx_o)
+  `ASSERT_KNOWN(IdleOKnown_A, idle_o)
 
 endmodule