riscv-mini是UC Berkeley用Chisel编写的三级流水线RISC-V处理器，它实现了RV32I的用户级2.0版本ISA和机器级1.7版本ISA，是Berkeley著名的Rocket-chip项目的简化版

报错场景

下载risc-mini项目，sbt构建完成后，运行ALUTest.scala下的ALUArea测试，结果出现报错：

报错信息是说在项目目录下无法运行z3，系统找不到指定的文件。

报错分析

z3是微软的一个数学求解的工具，这里报错提示在这个目录下没有z3这个程序，所以无法运行是合理的，我们需要做的是安装z3并将其路径加入到系统变量中，然后重启电脑，再次运行测试即可通过！

解决步骤

如果是ubuntu系统，使用apt install z3即可，如果是windows，继续往下看：

  1. 下载z3
    在这里下载z3，我的环境是windows64位系统，所以下载了z3-4.12.6-x64-win.zip，如图所示：

如果你的系统是
这里需要注意，windows 64位系统要下载的是z3-4.12.6-x64-win.zip，而不是z3-4.12.6-x86-win.zip，x86版本是32位系统需要下载的。

  1. 解压z3
    下载后解压z3压缩包，可以看到bin目录下有z3.exe，我们把该路径加入到系统PATH变量中。
  1. 将z3.exe所在bin目录的路径加入环境变量

加入以后重启电脑，再跑测试即可。

  1. 测试成功

参考资料

  1. 我在github针对该问题上提出的issue
  2. z3的下载链接
  3. 使用pip安装z3
  4. risc-mini官方仓库
  5. 敏捷硬件开发语言Chisel与数字系统设计 这本书中对risc-mini的各部分组件做了介绍