【异常处理】测试risc-mini项目出现 Cannot run program “z3“ CreateProcess error=2, 系统找不到指定的文件。

原创 已于 2024-03-08 17:36:56 修改 · 1.1k 阅读 · 28 ·
CC 4.0 BY-SA版权
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
文章标签：

#chisel #数字ic设计 #scala #一生一芯 #CPU设计

于 2024-03-08 11:37:31 首次发布
文章讲述了在使用risc-mini项目时遇到的编译错误，特别是在运行ALUTest.scala测试时，由于缺少z3工具。作者详细介绍了报错原因、z3的用途以及在Ubuntu和Windows系统上的安装步骤，确保系统路径设置正确以便通过测试。

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变量中。
    在这里插入图片描述

  2. 将z3.exe所在bin目录的路径加入环境变量
    在这里插入图片描述
    加入以后重启电脑，再跑测试即可。

  3. 测试成功
    在这里插入图片描述

参考资料

  1. 我在github针对该问题上提出的issue
  2. z3的下载链接
  3. 使用pip安装z3
  4. risc-mini官方仓库
  5. 敏捷硬件开发语言Chisel与数字系统设计 这本书中对risc-mini的各部分组件做了介绍
RISC-V异常处理流程概述（1）：异常处理基本介绍
swh547的博客
05-01 2169
其中的关键函数为sbi_ecall_register_extension，这个函数的目的是将sbi_ecall_extension类型的结构体指针添加到一个全局的ecall_exts_list列表中，也就是进行ecall注册的工作。而ecall_time、ecall_rfence等则是结构体指针，相当于sbi_ecall_extension结构体的一个实例，其中的服务和id则是要映射结构体的extid_xxx和handle处理。下面将调用到sbi_trap_handler进行真正的异常处理函数。
RISC-V中文手册.pdf
10-22
RISC-V中文手册.pdf RISC-V中文手册.pdf是关于RISC-V指令集架构的详细指南，由DAVID PATTERSON和ANDREW WATERMAN编写，勾凌睿、黄成、刘志刚等人翻译，包云岗校阅。本手册涵盖了RISC-V的基本概念、设计理念、指令集...
JAVA-IDEA报错Error:Cannot run program “C:\Program Files\Java\jdk1.8.0_20\bin\java.exe“
weixin_44451790的博客
02-28 7449
频繁切换jdk
笔记8：Carla运行程序时报错【Error running ‘文件名‘：Cannot run program “路径“，系统找不到指定文件】
weixin_44063383的博客
07-07 1168
将这个下载下来的 project 的【.idea】文件删除，然后重新从 pycharm 中打开这个 project ，这样文件夹【.idea】就被 pycharm 自动生成了。我第一次遇到这个问题的时候，就是修改了文件【workspace.xml】里面的某个路径，然后就可以跑了，但是不知道为什么这样修改就可以了，原因如上。在跑从Github上下载的代码的时候，打开其中的一个.py文件，就会报这个错误。
Pycharm报错：Cannot run program “…\python.exe” (in directory…)系统找不到指定的文件
最新发布
m0_73419365的博客
08-26 1745
PyCharm报错“Cannot run program python.exe 系统找不到指定的文件”通常是由于Python解释器路径无效导致的。主要原因包括：解释器路径被删除或移动、虚拟环境损坏、PyCharm配置错误或路径权限问题。解决方法包括：检查Python是否正确安装并在环境变量中配置；在PyCharm中重新设置解释器路径；重建虚拟环境；或删除项目下的.idea文件夹重新配置。核心思路是确保PyCharm指向真实存在的python.exe可执行文件，避免使用中文或含空格的路径。
Pycharm报错：Error running ‘‘: Cannot run program “\python.exe“ (in directory ““)系统找不到指定文件夹？
qq_44955314的博客
12-21 1万+
python纠错
Error running ‘main‘cannot run program ....系统找不到指定的文件
我的python学习笔记
02-22 2841
问题： 起因： 别人copy给我的项目，在运行的时候报错"error running ‘demo’: cannot run program “xxxxx“CreateProcess error=2, 系统找不到指定的文件” 自己重新设置了interpreter，依旧不OK呀！ 解答： 参考：https://blog.youkuaiyun.com/fuzizhu1/article/details/103236049 参考2：https://blog.youkuaiyun.com/MinevaG/article/details/11
路径标题由中文改为英文后，pycharm提示Cannot run program,系统找不到指定文件
weixin_51461444的博客
03-09 1227
路径标题由中文改为英文后，pycharm提示Cannot run program,系统找不到指定文件
机组大作业：基于RISC-V架构的45条指令单周期CPU设计
01-20
在本机组大作业中，我们将深入探讨基于RISC-V架构的单周期CPU设计。RISC-V，全称为“Reduced Instruction Set Computer - Version 5”，是一种开放源代码的指令集架构，旨在提供简单、高效且可扩展的计算平台。这个...
RISC-V官方手册和相关资料（特权架构 & 非特权架构 & 中文资料）
01-20
1. **RISC-V特权架构规范**：这是理解RISC-V处理器核心操作的关键文档，详细定义了系统级的指令和硬件接口，包括内存管理、中断处理、异常和系统调用等。特权架构规范涵盖了五种不同的特权级别（machine、supervisor...
RT-thread移植指南-RISC-V.docx
09-24
《RT-thread移植指南-RISC-V》是一份详细指导如何将RT-thread实时操作系统移植到RISC-V架构处理器的文档。RISC-V是一种开放源代码指令集架构（ISA），它以其精简、高效的设计受到广泛欢迎，尤其在嵌入式和物联网(IoT...
Cannot run program “dir d:\“: CreateProcess error=2, 系统找不到指定的文件。
ggy1991的博客
04-10 4479
所以我又试了各种方式,终于解决了这个问题,这两种方案执行都没有问题.提供给遇到这种问题的朋友一种参考。例如：数据传输过程中数据不时出现丢失的情况，偶尔会丢失一部分数据。即使我把第三行语句改为下面的,仍然出错。
运行 方法 时出错: Cannot run program 、jdk丢失、系统找不到指定的文件。
m0_53824537的博客
03-08 4243
因为系统原先的JDK包 ,被移动，所以找不到了。我们重新引入下就行了。 打开模块设置，重新设置SDK
Cannot run program “sh“ (in directory “xxx“): CreateProcess error=2, 系统找不到指定的文件。
小卡拉米的博客
08-24 2009
windows Jenkins构建项目出现系统找不到指定文件.修改Manage jenkins -> system ->Shell 值为：C:\Windows\system32\cmd.exe​​​​​​​
idea 使用docker插件，运行报错：Cannot run program “docker“: CreateProcesserror=2,系统找不到指定的文件。
dushky的博客
03-12 3029
idea 使用docker插件，运行报错：Cannot run program "docker": CreateProcesserror=2,系统找不到指定的文件。
Cannot run program “svn“ (in directory “D：xxxx“): CreateProcess error=2, 系统找不到指定的文件。报错解决方法
7c
09-14 7856
Cannot run program "svn" (in directory "D：xxxx"): CreateProcess error=2, 系统找不到指定的文件。报错解决方法
Cannot run program "svn" (in directory "D:\demo\Test"): CreateProcess error=2, 系统找不到指定的文件。
热门推荐
Jeffery@
12-29 3万+
前言：懂得珍惜方可拥有更多。IDEA 13.1.2安装后，SVN checkout时候会出现如下错误： Cannot run program "svn" (in directory "D:\demo\Test"): CreateProcess error=2, 系统找不到指定的文件。究其原因，是SVN使用了命令行工具，如果本地没有SVN的命令行工具，则导致出错。解决办法： 1、安装客户端 ht
Error running ‘main‘ Cannot run programCreateProcess error=2,系统找不到指定的文件。（原创）
2301_80519936的博客
04-21 1140
Error running 'main' Cannot run programCreateProcess error=2,系统找不到指定的文件。（原创）
Cannot run program CreateProcess error=2, 系统找不到指定的文件。
03-08
针对 risc-mini 工程里 ALU 单元测试依赖于外部求解器 z3 的情况，同样要核实本地确实已部署有对应版本的 z3 可执行档，同时注意其所在目录是否被加入到项目的构建脚本或是全局环境变量中去[^2]。 - **Maven 构建 ...
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包

打赏作者

农民真快落

我琢磨着也没人给我打赏呀。。

¥1 ¥2 ¥4 ¥6 ¥10 ¥20
扫码支付：¥1
获取中
扫码支付

您的余额不足，请更换扫码支付或充值

打赏作者

实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值