github-mirrors/ibex
1
0
Fork 0
mirror of https://github.com/lowRISC/ibex.git synced 2025-06-28 09:17:17 -04:00
Code Issues Projects Releases Packages Wiki Activity Actions

Verification should be done with ibex_cosim branch

Browse source 
This resolves comment: https://github.com/lowRISC/riscv-isa-sim/pull/25#issuecomment-2655147799
This commit is contained in:
Marno van der Maas 2025-02-21 16:41:22 +00:00 • committed by GitHub
parent 9e99ec79e2
commit 100f1eb8b1
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
doc/03_reference/verification.rst
View file

@ -111,7 +111,7 @@ In order to run the co-simulation flow, you'll need:
+ Some custom CSRs + Some custom CSRs
+ Custom NMI behavior + Custom NMI behavior
Ibex verification should work with the Spike version that is tagged as ``ibex-cosim-v0.5``. Ibex verification should work with the Spike version that named ``ibex_cosim``.
Spike must be built with the ``--enable-commitlog`` and ``--enable-misaligned`` options. Spike must be built with the ``--enable-commitlog`` and ``--enable-misaligned`` options.
``--enable-commitlog`` is needed to produce log output to track the instructions that were executed. ``--enable-commitlog`` is needed to produce log output to track the instructions that were executed.