hw: Assert irq_i.debug is raised only if debug is supported

pulp-platform · Sep 28, 2023 · 5d4fb2c · 5d4fb2c
1 parent bdb34d5
commit 5d4fb2c
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/hw/snitch/src/snitch.sv b/hw/snitch/src/snitch.sv
@@ -2931,4 +2931,7 @@ module snitch import snitch_pkg::*; import riscv_instr::*; #(
   // Make sure that without virtual memory support, translation is never enabled
   `ASSERT(NoVMSupportNoTranslation, (~VMSupport |-> ~trans_active), clk_i, rst_i)
 
+  // Make sure debug IRQ line is not raised when debug mode is not supported
+  `ASSERT(DebugModeUnsupported, irq_i.debug == 1'b1 |-> DebugSupport == 1, clk_i, rst_i)
+
 endmodule