NERV - 简易教学型 RISC-V 处理器

NERV 是一款非常简单的单级流水线 RV32I 处理器。 它配备了 RVFI 接口，并经过形式化验证。

运行仿真测试平台

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

运行 riscv-formal 测试平台

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

更新 riscv-formal 中包含的 nerv 内核

从 riscv-formal 根目录开始：

git subtree pull --prefix cores/nerv git@github.com:YosysHQ/nerv.git main --squash

使用来自 riscv-formal 的更改更新上游 nerv

从 riscv-formal 根目录开始：

git subtree push --prefix cores/nerv git@github.com:YosysHQ/nerv.git main

iCEBreaker SOC 示例

参见 iCEBreaker SOC 自述文件