diff --git a/README.md b/README.md index 18ecca507..8a29c885f 100644 --- a/README.md +++ b/README.md @@ -76,7 +76,7 @@ $ work-ver/Variane_testharness $RISCV/riscv64-unknown-elf/bin/pk hello.elf If you want to use QuestaSim to run it you can use the following command: ``` -$ make sim riscv-test-dir=$RISCV/riscv64-unknown-elf/bin riscv-test=pk target-options=hello.elf batch-mode=1 +$ make sim elf-bin=$RISCV/riscv64-unknown-elf/bin/pk target-options=hello.elf batch-mode=1 ``` > Be patient! RTL simulation is way slower than Spike. If you think that you ran into problems you can inspect the trace files. @@ -183,7 +183,7 @@ The core has been developed with a full licensed version of QuestaSim. If you ha To specify the test to run use (e.g.: you want to run `rv64ui-p-sraw` inside the `tmp/risc-tests/build/isa` folder: ``` -$ make sim riscv-test=tmp/risc-tests/build/isa/rv64ui-p-sraw make +$ make sim elf-bin=path/to/rv64ui-p-sraw ``` If you call `sim` with `batch-mode=1` it will run without the GUI. QuestaSim uses `riscv-fesvr` for communication as well.