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
+8-8Lines changed: 8 additions & 8 deletions
Original file line number
Diff line number
Diff line change
@@ -32,9 +32,9 @@ should appear when Doom is loaded and executed.
32
32
33
33
## riscv-arch-test
34
34
35
-
The RISC-V Architectural Tests, [riscv-arch-test](https://github.com/riscv-non-isa/riscv-arch-test), is the basic set of tests that can ensure the riscv model's behaviour that matches RISC-V specifications while implementing specific software.(not a **substitute for rigorous design verification**)
35
+
The RISC-V Architectural Tests, [riscv-arch-test](https://github.com/riscv-non-isa/riscv-arch-test), is the basic set of tests that can ensure the riscv model's behavior that matches RISC-V specifications while implementing specific software.(not a **substitute for rigorous design verification**)
36
36
37
-
There have **reference signatures** that are generated by the formal RISCV model [RISC-V SAIL](https://github.com/riscv/sail-riscv) and the test files *.elf. The .elf files contain several testing instructions, data, and **signatures**. The **test signatures** are the specific data location that need to be written by testing model(rv32emu-next) during the test. Once the test is executed, the **test signatures** will be written and compared to the **reference signature**. The test will pass if both signatures exactly match.
37
+
There have **reference signatures** that are generated by the formal RISCV model [RISC-V SAIL](https://github.com/riscv/sail-riscv) and the Executable and Linkable Format(`ELF`) files. The ELF files such as `cadd-01.elf` that contain several testing instructions, data, and **signatures**. The **test signatures** are the specific data location that need to be written by testing model(rv32emu-next) during the test. Once the test is executed, the **test signatures** will be written and compared to the **reference signature**. The test will pass if both signatures exactly match.
38
38
39
39
[riscv-arch-test](https://github.com/riscv-non-isa/riscv-arch-test) is integrated with submodule, and the setup was done.Once the submodule `riscv-arch-test` is pulled, run all the available riscv-arch-test via command:
40
40
```shell
@@ -51,7 +51,7 @@ make arch-test RISCV_DEVICE=M RISCV_TEST=div-01
51
51
```
52
52
The details about the setup environment variables can be found in the [RISC-V Architectural Testing Framework](https://github.com/riscv-non-isa/riscv-arch-test/blob/master/doc/README.adoc), **5.1 Setup environment variables**.
53
53
54
-
The result of the rv32emu-next in riscv-arch-test(RV32):
54
+
Current progress of rv32emu-next in riscv-arch-test(RV32):
55
55
* Passed Tests
56
56
-`I`: Base Integer Instruction Set
57
57
-`M`: Standard Extension for Integer Multiplication and Division
@@ -60,20 +60,20 @@ The result of the rv32emu-next in riscv-arch-test(RV32):
60
60
-`C`: Standard Extension for Compressed Instruction
61
61
+ `cebreak`
62
62
-`privilege`: RISCV Privileged Specification
63
-
+ 2 system call
63
+
+ 2 system calls
64
64
* `ebreak`
65
65
* `ecall`
66
-
+ 5 misaligned CB-type
66
+
+ 5 misaligned CB-type instructions
67
67
*`misalign-beq`
68
68
*`misalign-bge`
69
69
*`misalign-bgeu`
70
70
*`misalign-blt`
71
71
*`misalign-bltu`
72
-
+ 1 misaligned CL-type
72
+
+ 1 misaligned CL-type instructions
73
73
*`misalign-lw`
74
-
+ 1 misaligned CS-type
74
+
+ 1 misaligned CS-type instructions
75
75
*`misalign-sw`
76
-
* Unsupported tests:
76
+
* Unsupported tests
77
77
-`F` Standard Extension for Single-Precision Floating-Point
0 commit comments