sail-riscv
sail-riscv copied to clipboard
Don't require write_CSR to return the new value
Currently write_CSR() returns the new value of written CSRs, purely for logging. This is pretty tedious though.
Since none of the CSRs actually have read side effects, instead we can just call read_CSR() again for the logging.
I think the one exception might be the seed CSR which is ... weird. It might require special handling.