RVFI - Better trace log + better mstatus (!878) · Merge requests · OpenHW Group / backup-20241120 / cv32e40p

Created by: YoannPruvost

This PR improves two points:

It corrects some display issue we had with the trace log file generated from rvfi
It improves mstatus reporting on RVFI. Previously mstatus was handled as one register while in hardware it is implemented as two separate registers, with one dedicated to floating point states called mstatus_fs. To be able to accurately report mstatus value on RVFI, both csr are handled separatly in RVFI now

RVFI - Better trace log + better mstatus