efabless/dv

efabless/dv:cocotb 镜像文档

镜像概述和主要用途

efabless/dv:cocotb 是一个基于 Ubuntu 22.04 的 Docker 镜像，专为 Caravel 芯片项目的验证需求设计。该镜像集成了多种验证工具、构建工具及 Python 库，提供了完整的协同仿真和测试台开发环境，可直接用于基于 cocotb 的验证流程。

核心功能和特性

系统基础

• 基于 Ubuntu 22.04 操作系统，提供稳定的运行环境

构建与基础工具

• 包含 Git、Help2man、Perl、Make、Autoconf、G++、Flex、Bison、CCache 等 essential 构建工具
• 提供 libgoogle-perftools-dev、Numactl、Perl-doc、libfl2、libfl-dev、zlib1g-dev 等开发依赖库

验证工具

• Verilator v5.012：高性能 Verilog 仿真器
• cvc（commit b3e7fded6d4d79491886de40aec3a780efdd9d4e）：形式化验证工具
• Icarus Verilog v12：Verilog 仿真器
• RISC-V Toolchain v2023.07.07：RISC-V 架构的编译工具链

Python 验证库

通过 pip 安装了以下 Python 包，支持基于 cocotb 的测试台开发：

• cocotb：基于协程的协同仿真库，用于用 Python 编写测试台
• cocotb-coverage：cocotb 的覆盖率分析扩展
• cocotb-bus：用于在 cocotb 测试台中生成总线事务的库
• coverage：代码覆盖率测量工具
• loremipsum：生成随机字符串和文本的工具
• oyaml：YAML 解析器和发射器库
• prettytable：以 ASCII 表格格式显示表格数据的库
• anytree：用于在 Python 中构建和导航树结构的库
• caravel-cocotb：Caravel 芯片项目的 cocotb 测试用例

使用场景和适用范围

该镜像适用于：

• Caravel 芯片项目的验证流程
• 使用 cocotb 框架编写 Verilog 测试台
• 进行芯片设计的协同仿真和覆盖率分析
• 基于 RISC-V 架构的芯片验证开发

使用方法和配置说明

拉取镜像

可通过以下命令从 Docker Hub 拉取 efabless/dv:cocotb 镜像：

bash
docker pull efabless/dv:cocotb

构建镜像

若需本地构建镜像，步骤如下：

1. 导航至包含 Dockerfile 的目录

2. 执行构建命令：

   bash
   docker build -t efabless/dv:cocotb -f DockerFile .
   

3. 如需构建不同标签的镜像，可扩展镜像名称：

   bash
   docker build -t efabless/dv:cocotb:<new_tag> .
   

推送镜像（需权限）

若需将镜像推送到 Docker Hub（需拥有对应仓库权限）：

1. 登录 Docker Hub
   使用 docker login 命令登录，输入 Docker Hub 凭据（用户名和密码或令牌）：

   bash
   docker login
   

2. 推送镜像
   执行推送命令：

   bash
   docker push efabless/dv:cocotb