CORE-V Wally is a configurable RISC-V Processor associated with RISC-V System-on-Chip Design textbook. Contains a 5-stage pipeline, support for A, B, C, D, F, M and Q extensions, and optional caches, BP, FPU, VM/MMU, AHB, RAMs, and peripherals.
Opening this PR despite it being in a somewhat iffy state because UET needs this for VM functional coverage. Doesn't break anything so should be fine to merge.
Update riscv-arch-test submodule to use out of tree source from virtual memory PR. This introduces PMP and rv32 sv32 VM tests. The VM tests are not merged even into the dev branch yet, so we need to make sure to switch this back to the actual dev branch instead of tracking this PR once it is merged.
Add pmp and sv32 tests to tests.vh and testbench.sv so they can be run with wsim
Edit riscof sail config to enable PMP in Sail. For now hardcode this to use 16 pmps. This should be made configurable based on our configs once Sail has better configuration, but it didn't seem worth fighting with command line switches for now.
Both the PMP and VM tests have mismatches with Wally, so they are not currently enabled in regression. I will add them to regression once the mismatches are resolved.
Opening this PR despite it being in a somewhat iffy state because UET needs this for VM functional coverage. Doesn't break anything so should be fine to merge.
Update riscv-arch-test submodule to use out of tree source from virtual memory PR. This introduces PMP and rv32 sv32 VM tests. The VM tests are not merged even into the dev branch yet, so we need to make sure to switch this back to the actual dev branch instead of tracking this PR once it is merged.
Add pmp and sv32 tests to tests.vh and testbench.sv so they can be run with wsim
Edit riscof sail config to enable PMP in Sail. For now hardcode this to use 16 pmps. This should be made configurable based on our configs once Sail has better configuration, but it didn't seem worth fighting with command line switches for now.
Both the PMP and VM tests have mismatches with Wally, so they are not currently enabled in regression. I will add them to regression once the mismatches are resolved.