Configurable RISC-V Processor
Go to file
2022-02-27 04:36:43 +00:00
addins Moved Softfloat / TestFloat 2022-02-26 19:17:32 +00:00
benchmarks Modified makefiles to generate function address to name mappings for modelsim. 2022-02-01 18:25:03 -06:00
bin Added E extension, and downloaded riscv-dv and embench-iot to addins 2022-01-17 14:42:59 +00:00
examples examples cleanup 2022-02-02 12:57:13 +00:00
fpga Fixed debug2.xdc to match wally changes. 2022-02-08 15:23:44 -06:00
linux Merge branch 'main' of https://github.com/davidharrishmc/riscv-wally into main 2022-02-25 23:51:48 +00:00
pipelined fma simulation infrastructure 2022-02-27 04:36:43 +00:00
synthDC Started make allsynth to try many experiments 2022-02-17 17:57:02 +00:00
tests Update FP vector scripts for testing 754 2022-02-26 14:17:41 -06:00
.gitattributes Renamed wally-pipelined to pipelined 2022-01-04 19:47:41 +00:00
.gitignore revived checkpointing and hacked it up to generate a trace starting at the checkpoint 2022-02-25 23:51:40 +00:00
.gitmodules Added the 12T submodule to the project. 2022-02-03 19:26:41 -06:00
bugs.txt Fixed bug. 2022-02-11 14:00:01 -06:00
LICENSE Initial Checkin 2021-01-14 23:37:51 -05:00
Makefile Fixed path to riscvOVPsimPlus 2022-01-21 00:12:14 +00:00
README.md Update README.md 2022-01-24 15:47:42 -08:00
setup.sh Set up rv32emc config 2022-01-27 14:37:58 +00:00

riscv-wally

Configurable RISC-V Processor

Wally is a 5-stage pipelined processor configurable to support all the standard RISC-V options, incluidng RV32/64, A, C, F, D, and M extensions, FENCE.I, and the various privileged modes and CSRs. It is written in SystemVerilog. It passes the RISC-V Arch Tests and Imperas tests. As of October 2021, it boots the first 10 million instructions of Buildroot Linux.

If you are new to using Linux and Github, follow the steps in the RISCV SoC Design textbook to:

See Chapter 2 of draft book of how to install and compile tests.

Download and install x2go - A.1
Download and install VSCode - A.4.2
Make sure you can log into Tera acceptly via x2go and via a terminal
	Terminal on Mac, cmd on Windows, xterm on Linux
	See A.1 about ssh -Y login from a terminal
Git started with Git configuration and authentication: B.1

Then follow Section 2.2.2 to clone the repo, source setup, make the tests and run regression

$ cd
$ export RISCV=/opt/riscv
$ git clone --recurse-submodules https://github.com/davidharrishmc/riscv-wally
$ cd riscv-wally
$ source ./setup.sh
$ make
$ cd pipelined/regression
$ ./regression-wally       (depends on having Questa installed)

Add the following lines to your .bashrc or .bash_profile

if [ -f ~/riscv-wally/setup.sh ]; then
	source ~/riscv-wally/setup.sh
fi