Skip to content

Commit

Permalink
Added description for rvfi_mem_err and rvfi_mem_exokay.
Browse files Browse the repository at this point in the history
Signed-off-by: Oystein Knauserud <Oystein.Knauserud@silabs.com>
  • Loading branch information
silabs-oysteink committed Sep 15, 2023
1 parent 0a868f8 commit a39be06
Showing 1 changed file with 5 additions and 0 deletions.
5 changes: 5 additions & 0 deletions docs/user_manual/source/rvfi.rst
Original file line number Diff line number Diff line change
Expand Up @@ -242,9 +242,14 @@ Instructions with multiple memory operations (e.g. the push and pop instructions
``rvfi_mem_prot`` indicates the value of OBI prot used for the memory access or accesses. Note that this will be undefined upon access faults.
``rvfi_mem_memtype`` indicates the memory type attributes associated with each memory operation (i.e cacheable or bufferable).
``rvfi_mem_atop`` indicates the type of atomic transaction as specified in [OPENHW-OBI]_.
``rvfi_mem_exokay`` indicates the status of ``data_exokay_i`` for loads, non-bufferable stores and atomic instructions.
``rvfi_mem_err`` indicates if a load, non-bufferable store or atomic instruction got a bus error.

For cores as |corev| that support misaligned access ``rvfi_mem_addr`` will not always be 4 byte aligned. For misaligned accesses the start address of the transfer is reported (i.e. the start address of the first sub-transfer).

.. note::
``rvfi_mem_exokay`` and ``rvfi_mem_err`` will not be reported for bufferable writes (tied to zero). Bufferable writes may get their responses after the instructions have retired.

**CSR Signals**

To reduce the number of signals in the RVFI interface, a vectorized CSR interface has been introduced for register ranges.
Expand Down

0 comments on commit a39be06

Please sign in to comment.