In reply to Michael54:
Hello, another one would be try to write some writable once register and check if those cannot be written again after and they are instead after issuing a reset.
Another tricky scenario is for accumulated registers (values ored) check if they accumulate.
Lastly, this is a corner case only, perform back to back access to see if target registers are reached each time. Back to back could be implemented as RWR, RRW, WWR and so on you can randomize the sequence order and run it with a reasonable number of time until all are covered. Regards