efabless/dv_setup

镜像概述

这是一个针对基于sky130A工艺的项目定制的Verilog设计验证（DV）容器化工具链，内置rv32i工具链，旨在简化相关项目的验证环境搭建与使用流程，确保环境一致性。

核心功能

• 提供适配sky130A项目需求的完整Verilog设计验证工具链
• 内置rv32i工具链，支持相关验证任务
• 容器化封装，避免本地环境配置冲突，降低环境搭建成本

使用场景

适用于基于sky130A工艺的芯片设计项目中，开展Verilog代码的设计验证工作，帮助开发者快速启动验证任务，提升工作效率。

配置说明

使用前需配置两个环境变量：

1. PDK_PATH：sky130A PDK的完整路径（例如：/home/aag/test_pdk/sky130A）
2. TARGET_PATH：目标项目的本地路径

部署示例

本地构建镜像

执行以下命令构建镜像：

bash
sh build-docker.sh

拉取官方镜像

执行以下命令拉取最新镜像：

bash
docker pull efabless/dv_setup:latest

运行容器

替换占位符后执行以下命令运行容器：

bash
export PDK_PATH= <sky130A PDK的完整路径，例如：/home/aag/test_pdk/sky130A>
export TARGET_PATH= <目标项目的本地路径>
docker run -it -v $TARGET_PATH:$TARGET_PATH -v $PDK_PATH:$PDK_PATH -e TARGET_PATH=$TARGET_PATH -e PDK_PATH=$PDK_PATH  -u $(id -u $USER):$(id -g $USER) efabless/dv_setup:latest