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