Wrong clearing of bits in pmp_addr_q

Created by: silabs-oysteink

Wrong clearing of bits in pmp_addr_q

Component

Component:RTL: For issues in the RTL (e.g. for files in the rtl directory)

Steps to Reproduce

1. RTL hash 5a0df343
2. Running formal verification, the assertion "a_set_clear_pmp_addr_q" within cv32e40s_cs_registers_sva.sv should fail.

When granularity >=1 and the mode is either OFF or TOR, the read data resolution will tie off the least significant implemented (flipflop) bit to 0. This may propagate back through the RMW operation and inadvertently clear the flipflop when it shouldn't.