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

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

相关推荐
码界筑梦坊几秒前
132-基于Python的中老年体检数据可视化分析系统
开发语言·python·信息可视化·flask·毕业设计
YANQ6621 分钟前
6. Gemini相机+yoloseg+foundationpose环境搭建及应用
人工智能·数码相机
人道领域1 分钟前
【LeetCode刷题日记】617.合并二叉树(空间换安全,还是原地省内存)
java·数据结构·算法·leetcode
曹牧1 分钟前
Bug定位
开发语言
linbaiwan6662 分钟前
PD和QC快充协议电压诱骗(取电)芯片:USB-C口支持PD,USB-A口支持QC
c语言·开发语言
Soari2 分钟前
【紧急发布】Claude Code v2.1.148 :修复 Bash 127 瘫痪 Bug,/simplify 升级为 AI 代码评审
人工智能·bug·bash·claudecode
微祎_2 分钟前
写给新手的 triton-inference-server-ge-backend:昇腾Triton推理服务后端到底是啥?
前端·人工智能·cann
大飞记Python2 分钟前
【2026更新】Python基础学习指南(AI版)——06函数
开发语言·人工智能·python
电商API_180079052474 分钟前
反向海淘是什么?现状如何?未来趋势如何?
数据库·人工智能·笔记·性能优化·数据挖掘·网络爬虫
伤心的瘦子5 分钟前
【零基础 AI 编程】Vibe Coding 小白指南第一课
人工智能