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/ 中。

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

相关推荐
苏纪云11 小时前
蓝桥杯考前突击
c++·算法·蓝桥杯
bryant_meng11 小时前
【Reading Notes】(4)Favorite Articles from 2021
人工智能·深度学习·业界资讯
W230357657311 小时前
经典算法详解:最长公共子序列 (LCS) —— 从暴力递归到动态规划完整实现
算法·动态规划·最长子序列
雷工笔记11 小时前
MES / WMS / AGV 交互时序图及生产管理模块界面设计清单
人工智能·笔记
海兰11 小时前
使用 Spring AI 打造企业级 RAG 知识库第二部分:AI 实战
java·人工智能·spring
清空mega11 小时前
动手学深度学习——多尺度锚框
人工智能·深度学习·目标跟踪
pzx_00111 小时前
【优化器】 随机梯度下降 SGD 详解
人工智能·python·算法
‎ദ്ദിᵔ.˛.ᵔ₎11 小时前
模板template
开发语言·c++
大邳草民11 小时前
Python 中 global 与 nonlocal 的语义与机制
开发语言·笔记·python
波动几何11 小时前
风格设计技能Style Design Generator
人工智能