Skip to content

Commit 52471fd

Browse files
committed
Rename "rv32emu-next" and fix wording
1 parent 49336cc commit 52471fd

File tree

1 file changed

+3
-3
lines changed

1 file changed

+3
-3
lines changed

README.md

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -32,9 +32,9 @@ should appear when Doom is loaded and executed.
3232

3333
## riscv-arch-test
3434

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**)
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 risc-v model's behavior that matches RISC-V specifications while implementing specific software.(not a **substitute for rigorous design verification**)
3636

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.
37+
There have **reference signatures** that are generated by the formal RISC-V 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(this emulator) 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.
3838

3939
[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:
4040
```shell
@@ -51,7 +51,7 @@ make arch-test RISCV_DEVICE=M RISCV_TEST=div-01
5151
```
5252
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**.
5353

54-
Current progress of rv32emu-next in riscv-arch-test(RV32):
54+
Current progress of this emulator in riscv-arch-test(RV32):
5555
* Passed Tests
5656
- `I`: Base Integer Instruction Set
5757
- `M`: Standard Extension for Integer Multiplication and Division

0 commit comments

Comments
 (0)