Don't raise trap when load/store at an invalid address

[hainnkb]

I am trying to triggering a load/store access fault to see proper value of MTVAL register. In my design, PMPEnable = 0 (PMP is not implemented).
I added the following code to my test program:
li t0, 0x10000
li t1, 0xffffffff
sw t1, 0(t0)
lw t2, 0(t0)

I expected the store or load to raise a load/store access fault exception, but the core does not raise any trap.

Is this behavior valid for Ibex ?Without PMP, is it expected that load/store accesses to this address range do not raise an exception? What is the recommended way to reliably trigger a load/store access fault in Ibex ?

[marnovandermaas]

I'll need some more information here. This really depends on the bus you've connected to Ibex and how it responds to loads and stores.