commit 7e0224cec7f92b5e0b0455f60fb60f6a67561473
author Philipp Wagner <phw@lowrisc.org> Tue Jun 15 17:36:24 2021 +0100
committer Philipp Wagner <mail@philipp-wagner.com> Wed Jun 16 12:39:27 2021 +0100
tree 54b80668fde85e228efb0685a500e0202b12e7bf
parent e99d63ddc10f6a42c64612b47eac63e3246e61d1

[otbn] Add known asserts to all outputs

The EDN outputs got added without "value known" asserts. Add them.

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 4cc5895..2ce6f5a 100644
--- a/hw/ip/otbn/rtl/otbn.sv
+++ b/hw/ip/otbn/rtl/otbn.sv
@@ -766,8 +766,10 @@
   // All outputs should be known value after reset
   `ASSERT_KNOWN(TlODValidKnown_A, tl_o.d_valid)
   `ASSERT_KNOWN(TlOAReadyKnown_A, tl_o.a_ready)
+  `ASSERT_KNOWN(IdleOKnown_A, idle_o)
   `ASSERT_KNOWN(IntrDoneOKnown_A, intr_done_o)
   `ASSERT_KNOWN(AlertTxOKnown_A, alert_tx_o)
-  `ASSERT_KNOWN(IdleOKnown_A, idle_o)
+  `ASSERT_KNOWN(EdnRndOKnown_A, edn_rnd_o)
+  `ASSERT_KNOWN(EdnUrndOKnown_A, edn_urnd_o)
 
 endmodule