[edn/rtl] asserts added for edn outputs
Signed-off-by: Mark Branstad <mark.branstad@wdc.com>
diff --git a/hw/ip/edn/edn.core b/hw/ip/edn/edn.core
index 201f334..9b6a127 100755
--- a/hw/ip/edn/edn.core
+++ b/hw/ip/edn/edn.core
@@ -9,6 +9,7 @@
depend:
- lowrisc:constants:top_pkg
- lowrisc:prim:all
+ - lowrisc:prim:assert
- lowrisc:ip:tlul
- lowrisc:ip:edn_pkg
files:
diff --git a/hw/ip/edn/rtl/edn.sv b/hw/ip/edn/rtl/edn.sv
index a7cf431..e9d6ef1 100755
--- a/hw/ip/edn/rtl/edn.sv
+++ b/hw/ip/edn/rtl/edn.sv
@@ -4,6 +4,7 @@
//
// Description: edn top level wrapper file
+`include "prim_assert.sv"
module edn import edn_pkg::*; #(
parameter int NumEndPoints = 4,
@@ -66,4 +67,22 @@
.intr_edn_fifo_err_o
);
+
+ // Assertions
+
+ `ASSERT_KNOWN(TlDValidKnownO_A, tl_o.d_valid)
+ `ASSERT_KNOWN(TlAReadyKnownO_A, tl_o.a_ready)
+
+ // Endpoint Asserts
+ for (genvar i = 0; i < NumEndPoints; i = i+1) begin : gen_edn_if_asserts
+ `ASSERT_KNOWN(EdnEndPointOut_A, edn_o[i])
+ end : gen_edn_if_asserts
+
+ // CSRNG Asserts
+ `ASSERT_KNOWN(CsrngAppIfOut_A, csrng_cmd_o)
+
+ // Interrupt Asserts
+ `ASSERT_KNOWN(IntrEdnCmdReqDoneKnownO_A, intr_edn_cmd_req_done_o)
+ `ASSERT_KNOWN(IntrEdnFifoErrKnownO_A, intr_edn_fifo_err_o)
+
endmodule
