diff --git a/rtl/ibex_core.sv b/rtl/ibex_core.sv
index 0843a8a6..7ecf94e3 100644
--- a/rtl/ibex_core.sv
+++ b/rtl/ibex_core.sv
@@ -7,6 +7,8 @@
   `define RVFI
 `endif
 
+`include "prim_assert.sv"
+
 /**
  * Top level module of the ibex RISC-V core
  */