Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

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

Merged
merged 14 commits into from
Nov 9, 2023
Merged

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

merged 14 commits into from
Nov 9, 2023

Conversation

YoannPruvost
Copy link
Contributor

This PR cumulates three RVFI updates

  • Better sampling of register file writes to catch only the relevant updates for each instructions
  • Reporting more all traps
  • Correcting mstatus reporting on some corner cases

Yoann Pruvost added 14 commits November 7, 2023 18:18
RVFI - Reporting all illegal instruction
adf50bd
RVFI - Reporting all ecall instruction
0cd7a20
Correcting cv.setup and cv.setupi deconding on tracer package
7bd3119
RVFI - Adding accurate mstatus write mask
4fa7771
RVFI - Catching mstatus_fs update caused by flw
2ea4fb5
RVFI - Handling concurrent writes to mstatus_fs when flw followed by …
ea4b9bc 
…csrw
RVFI - Adjusting rf_we_wb to catch only the relevant register write
0bd8bcf
RVFI - Correcting register file writes to catch only relevant ones
1667c30
RVFI - Correcting rd0 overwrite on cv.lw
9971993
Running verible
d5ed959
RVFI - Matching mstatus_fw updtaes when flw with updated register fil…
7263fcc 
…es write trigger
RVFI - Checking order of trace_ex when APU response to avoid overwrit…
21d05ac 
…ting wrong csr when fast fpu instruction
RVFI - Updating mstatus_fs on trace_wb when apu resp
4bea7a4
RVFI - Sending dret when followed by trap
49889b0
@YoannPruvost YoannPruvost added the Component:Verif For issues in the verification environment or test cases (e.g. for testbench, C code, etc.) label Nov 9, 2023
@davideschiavone davideschiavone merged commit f588b47 into openhwgroup:dev Nov 9, 2023
2 checks passed
@YoannPruvost YoannPruvost deleted the dev_merge_pgo_all branch November 29, 2023 04:04
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@davideschiavone davideschiavone davideschiavone approved these changes

Assignees
No one assigned
Labels
Component:Verif For issues in the verification environment or test cases (e.g. for testbench, C code, etc.)
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@YoannPruvost @davideschiavone