RVFI - Better register file writes sampling + Reporting more traps + Better mstatus reporting#902

Merged

davideschiavone merged 14 commits intoopenhwgroup:devfrom YoannPruvost:dev_merge_pgo_all

Nov 9, 2023

+161-103

Commits on Nov 7, 2023

RVFI - Reporting all illegal instruction
Yoann Pruvost
committed
RVFI - Reporting all ecall instruction
Yoann Pruvost
committed
Correcting cv.setup and cv.setupi deconding on tracer package
Yoann Pruvost
committed
RVFI - Adding accurate mstatus write mask
Yoann Pruvost
committed
RVFI - Catching mstatus_fs update caused by flw
Yoann Pruvost
committed
RVFI - Handling concurrent writes to mstatus_fs when flw followed by csrw
Yoann Pruvost
committed
RVFI - Adjusting rf_we_wb to catch only the relevant register write
Yoann Pruvost
committed
RVFI - Correcting register file writes to catch only relevant ones
Yoann Pruvost
committed
RVFI - Correcting rd0 overwrite on cv.lw
Yoann Pruvost
committed
Running verible
Yoann Pruvost
committed

Commits on Nov 8, 2023

RVFI - Matching mstatus_fw updtaes when flw with updated register files write trigger
Yoann Pruvost
committed

Commits on Nov 9, 2023

RVFI - Checking order of trace_ex when APU response to avoid overwritting wrong csr when fast fpu instruction
Yoann Pruvost
committed
RVFI - Updating mstatus_fs on trace_wb when apu resp
Yoann Pruvost
committed
RVFI - Sending dret when followed by trap
Yoann Pruvost
committed