[rtl] Make PMP CSRs illegal in non PMP configurations

The previous behaviour was also acceptable but this matches spike.
This commit is contained in:
Greg Chadwick 2022-08-11 14:47:14 +01:00 committed by Greg Chadwick
parent 7e9eef2cf9
commit db1eced0ee

View file

@ -508,6 +508,16 @@ module ibex_cs_registers #(
illegal_csr = 1'b1;
end
endcase
if (!PMPEnable) begin
if (csr_addr inside {CSR_PMPCFG0, CSR_PMPCFG1, CSR_PMPCFG2, CSR_PMPCFG3,
CSR_PMPADDR0, CSR_PMPADDR1, CSR_PMPADDR2, CSR_PMPADDR3,
CSR_PMPADDR4, CSR_PMPADDR5, CSR_PMPADDR6, CSR_PMPADDR7,
CSR_PMPADDR8, CSR_PMPADDR9, CSR_PMPADDR10, CSR_PMPADDR11,
CSR_PMPADDR12, CSR_PMPADDR13, CSR_PMPADDR14, CSR_PMPADDR15}) begin
illegal_csr = 1'b1;
end
end
end
// write logic