[doc] Fix paths in verification documentation

The files moved; also add an explicit `cd` to the command listing to
help people only skimming the docs.
This commit is contained in:
Philipp Wagner 2020-03-11 18:59:47 +00:00 committed by Philipp Wagner
parent 4f31a0e6e8
commit a28170d6a7

View file

@ -160,9 +160,10 @@ against each other, since any code executed in the debug ROM and trap handlers s
register state in the rest of the program.
The entirety of this flow is controlled by the Makefile found at
`dv/uvm/Makefile <https://github.com/lowRISC/ibex/blob/master/dv/uvm/Makefile>`_; here is a list of frequently used commands:
`dv/uvm/core_ibex/Makefile <https://github.com/lowRISC/ibex/blob/master/dv/uvm/core_ibex/Makefile>`_; here is a list of frequently used commands:
.. code-block:: bash
cd dv/uvm/core_ibex
# Run a full regression
make