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.

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

Correct RVFI exception cause for instruction parity/checksum fault #421

Merged
merged 1 commit into from Mar 13, 2023
Merged
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Jump to
Jump to file
Failed to load files.
Diff view
Diff view
2 changes: 1 addition & 1 deletion docs/user_manual/source/rvfi.rst
Expand Up @@ -139,7 +139,7 @@ The different trap scenarios, their expected side-effects and trap signalling ar
+------------------------------+-----------+------+-----------+-------+-----------------+-------------+------------+----------------------+------------------------------------------------------------------------------------------------------+
| Instruction Bus Fault | Exception | 1 | 1 | X | 0x24 | X | 0x0 | ``mcause``, ``mepc`` | OBI bus error on instruction fetch. |
+------------------------------+-----------+------+-----------+-------+-----------------+-------------+------------+----------------------+------------------------------------------------------------------------------------------------------+
| Instruction Parity / | Exception | 1 | 1 | X | 0x25 | X | 0x0 | ``mcause``, ``mepc`` | Instruction parity / checksum fault. |
| Instruction Parity / | Exception | 1 | 1 | X | 0x19 | X | 0x0 | ``mcause``, ``mepc`` | Instruction parity / checksum fault. |
| Checksum Fault | | | | | | | | | |
+------------------------------+-----------+------+-----------+-------+-----------------+-------------+------------+----------------------+------------------------------------------------------------------------------------------------------+
| Breakpoint to debug | Debug | 1 | 0 | 1 | X | 0x1 | 0x0 | ``dpc``, ``dcsr`` | EBREAK from non-debug mode executed with ``dcsr.ebreakm`` == 1. |
Expand Down