diff --git a/hw/snitch/src/snitch.sv b/hw/snitch/src/snitch.sv index fce5443e4..cbc565f5f 100644 --- 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