You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Copy file name to clipboardExpand all lines: README.md
+5-6Lines changed: 5 additions & 6 deletions
Display the source diff
Display the rich diff
Original file line number
Diff line number
Diff line change
@@ -43,11 +43,10 @@ If [Verilator](https://www.veripool.org/wiki/verilator) is installed, we can use
43
43
44
44
If everything worked, the output should look like
45
45
46
-
INFO: Preparing ::serv:1.0.2
46
+
INFO: Preparing ::serv:1.1.0
47
47
INFO: Setting up project
48
48
49
49
INFO: Building simulation model
50
-
verilator -f serv_1.0.2.vc
51
50
INFO: Running
52
51
53
52
## Running pre-built test software
@@ -91,7 +90,7 @@ To run the RISC-V compliance tests, we need to supply the SERV-specific support
91
90
92
91
Run the compliance tests
93
92
94
-
cd riscv-compliance && make TARGETDIR=$SERV/riscv-target RISCV_TARGET=serv RISCV_DEVICE=rv32i RISCV_ISA=rv32i TARGET_SIM=$WORKSPACE/build/servant_1.0.2/verilator_tb-verilator/Vservant_sim
93
+
cd riscv-compliance && make TARGETDIR=$SERV/riscv-target RISCV_TARGET=serv RISCV_DEVICE=rv32i RISCV_ISA=rv32i TARGET_SIM=$WORKSPACE/build/servant_1.1.0/verilator_tb-verilator/Vservant_sim
95
94
96
95
The above will run all tests in the rv32i test suite. Since SERV also implement the `rv32Zicsr` and `rv32Zifencei` extensions, these can also be tested by choosing any of them instead of rv32i as the `RISCV_ISA` variable.
97
96
@@ -137,7 +136,7 @@ serial console will show up.
137
136
Pin D1 is used for UART output with 115200 baud rate.
@@ -189,14 +188,14 @@ Pin 61 is used for UART output with 115200 baud rate. This pin is connected to a
189
188
Pin 95 is used as the GPIO output which is connected to the board's green LED. Due to this board's limited Embedded BRAM, programs with a maximum of 7168 bytes can be loaded. The default program for this board is blinky.hex.
Pin 56 is used as the GPIO output which is connected to the board's LED1. Due to this board's limited Embedded BRAM, programs with a maximum of 7168 bytes can be loaded. The default program for this board is blinky.hex.
0 commit comments