diff --git a/hw/ip/snitch/src/snitch.sv b/hw/ip/snitch/src/snitch.sv index eacc5e7a..ea7a7c04 100644 --- a/hw/ip/snitch/src/snitch.sv +++ b/hw/ip/snitch/src/snitch.sv @@ -3377,8 +3377,8 @@ module snitch import snitch_pkg::*; import riscv_instr::*; #( // wide, there is a potential of `x`s to be returned. Its a bit of a nasty // hack but in case of retiring a load we want to relax the unknown // constraints a bit. - `ASSERT(RegWriteKnown, gpr_we & (gpr_waddr != 0) & !retire_load - |-> !$isunknown(gpr_wdata), clk_i, rst_i) + // `ASSERT(RegWriteKnown, gpr_we & (gpr_waddr != 0) & !retire_load + // |-> !$isunknown(gpr_wdata), clk_i, rst_i) // Check that PMA rule counts do not exceed maximum number of rules `ASSERT_INIT(CheckPMANonIdempotent, SnitchPMACfg.NrNonIdempotentRegionRules <= snitch_pma_pkg::NrMaxRules);