rweda/verilator

Verilator Docker镜像

镜像概述

本镜像为Verilator的非官方Docker镜像，Verilator是一款高效的免费Verilog HDL模拟器。目前镜像基于Debian构建，提供特定稳定版本；Alpine Linux构建及nightly版本计划中。镜像标签说明：rweda/verilator指向最新稳定版，rweda/verilator:3指向3.x系列最新稳定minor版本。

核心功能

1. 提供完整的Verilator仿真环境，支持Verilog代码的编译与仿真
2. 基于Debian基础镜像，环境配置完善，无需额外依赖安装
3. 支持通过挂载本地目录方式运行自定义Verilog项目

使用场景

1. Verilog HDL代码的快速仿真验证
2. 无需本地安装Verilator即可开展项目开发
3. CI/CD流程中集成Verilog仿真步骤

配置说明

镜像无需额外配置，通过docker run命令挂载本地项目目录至容器内/data路径即可使用。

使用示例

1. 拉取镜像

sh
docker pull docker.xuanyuan.run/rweda/verilator

2. 创建示例项目

sh
mkdir example && cd example

# 编写Verilog文件
cat <<EOF >example.v
module example;
  initial begin $display("Example"); $finish; end
endmodule
EOF

# 编写仿真主程序
cat <<EOF >sim_main.cpp
#include "Vexample.cpp"
#include "verilated.h"
int main(int argc, char **argv, char **env) {
  Verilated::commandArgs(argc, argv);
  Vexample* top = new Vexample;
  while (!Verilated::gotFinish()) { top->eval(); }
  delete top;
  exit(0);
}
EOF

3. 运行仿真

sh
docker run --rm -v $(pwd):/data docker.xuanyuan.run/rweda/verilator "cd /data; verilator -Wall --cc example.v --exe sim_main.cpp; cd obj_dir; make -j -f Vexample.mk Vexample"

4. 查看结果

sh
ls # 可见 example.v、obj_dir、sim_main.cpp
ls obj_dir # 查看仿真生成的目标文件