Skip to content

Latest commit

 

History

History
26 lines (19 loc) · 515 Bytes

README.md

File metadata and controls

26 lines (19 loc) · 515 Bytes

NERV - Naive Educational RISC-V Processor

NERV is a very simple single-stage RV32I processor.

Running the simulation testbench

git clone https://github.com/SymbioticEDA/nerv.git
cd nerv
make

Running the riscv-formal testbench

git clone https://github.com/SymbioticEDA/riscv-formal.git
cd riscv-formal/cores/
git clone https://github.com/SymbioticEDA/nerv.git
cd nerv
make -j8 check