Brief Description: For each CSR, this sequence writes a random value to it and reads ALL CSRs
back. The read value of the CSR that was written is checked for correctness while adhering to its
access policies. The read value of all other CSRs are compared against their previous values.
This verifies that there is no aliasing across the address bits within the valid CSR space.
Class
csr_aliasing_seq
Brief Description: For each CSR, this sequence writes a random value to it and reads ALL CSRs back. The read value of the CSR that was written is checked for correctness while adhering to its access policies. The read value of all other CSRs are compared against their previous values. This verifies that there is no aliasing across the address bits within the valid CSR space.