Tagged memory tests
The original Rocket chip repository provides a thorough test suite for
the RISC-V ISA
tests are written in assembly.
A new test case is provided in
More complicated tests can be found in
tag_ld_st.cc- Verifies a long sequence of random tag writes
parity.cc- Random data is allocated on the heap. All the tag bits are then set by generating a number of different parity bits. Finally, all data is read back together with the corresponding tag bits and the parity bits are validated.
Running the tests
The tests can be run using the proxy kernel or within RISC-V
Linux. You can generate the proxy kernel executables using the
Makefile included (simple type
make linux to generate
binaries for RISC-V Linux.
The detailed steps necessary to run the tests in simulation or on the FPGA are described in the subsequent sections of the tutorial.