Verilog-Eval-v1基准测试集搭建指南

由于有在若干个服务器中搭建此项目的需求,因此记录下来完整的踩坑流程。

1.项目下载

直接使用git clone下载即可

git clone https://github.com/NVlabs/verilog-eval
git checkout release/1.0.0

2.环境搭建

conda create -n verilog-eval python=3.7
conda activate verilog-eval

pip install -r requirements.txt

3.iverilog安装

  • 路径是verilog-eval/
  • 这里建议一步步进行,后面几步提供管理员权限,遇到编译时报错的多半是缺少了一些包,根据提示或者让大模型帮忙安装一下即可。

git clone https://github.com/steveicarus/iverilog.git && cd iverilog \
&& git checkout v12-branch \
&& sudo sh ./autoconf.sh && sudo ./configure && sudo make -j4\
&& sudo make install

4.细节调整

在verilog-eval/verilog_eval下运行:

复制代码
python evaluate_functional_correctness.py data/example/ExampleSolution.jsonl --problem_file=data/example/ExampleEval.jsonl
  • 如果出现了import的错误,一般就是下面四个文件里面的import路径有问题:

将这四个py文件中的import路径修改即可(去掉verilog_eval.),如:

复制代码
from verilog_eval.evaluation import evaluate_functional_correctness

修改为:

复制代码
from evaluation import evaluate_functional_correctness
  • 最后一步,将 verilog-eval/ 路径下的 data 文件夹复制到 verilog-eval/verilog_eval/ 中。

到此,整个项目就跑通了。

相关推荐
汤姆宝库7 分钟前
权重量化的实现:从absmax到GPTQ与AWQ
人工智能
xys_67830 分钟前
JavaEE通关手册:初识Java
java·开发语言
硅谷秋水40 分钟前
PhysicalWords:一种用于构建机器人操作中潜推理过程的词汇体系
人工智能·机器学习·计算机视觉·语言模型·机器人
喵个咪1 小时前
GoWind 拆解:AI Agent 编排引擎——波次并行、子图递归与人工审批
人工智能·后端·go
ShineWinsu2 小时前
对于Qt:QTableWidget常见属性以及QTableWidgetItem类的解析
开发语言·c++·qt·gui·客户端·表格·qtablewidget
ZzT2 小时前
AI 是放大器:基础越扎实,放大效果越明显
人工智能·ai编程
喵个咪2 小时前
GoWind Admin 拆解:AI 能力层——工具循环、pgvector 知识库与机器凭证
人工智能·后端·agent
老金带你玩AI2 小时前
10秒出4K,MiniMax还开源了!H3 Image上线!
人工智能
mantou1322 小时前
只用 Cloudflare 全家桶,给游戏站做一个 RAG 搜索和问答
人工智能·llm
AI前端工程狮2 小时前
服务端已经死了,客户端却报"超时"
人工智能·程序员