cocotb+icarus verilog RTL仿真环境问题记录

最新推荐文章于 2025-06-26 09:12:36 发布
最新推荐文章于 2025-06-26 09:12:36 发布
阅读量2k 收藏 34
点赞数 10
CC 4.0 BY-SA版权
分类专栏： 数字电路仿真验证 文章标签： fpga开发 功能测试 python
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/z476420174/article/details/138501547

COCOTB

cocotb简介

cocotb是一个开源的python库，用来测试搭建好的数字电路。cocotb的优势在于它支持使用python编写测试用例和测试框架。相比于直接使用verilog或者system verilog，以及UVM等测试框架，python有更敏捷易用的开发特性，在轻量级的设计中能更快速的完成数字电路的测试验证需求。

以下为cocotb的官方库：

GitHub - cocotb/cocotb: cocotb, a coroutine based cosimulation library for writing VHDL and Verilog testbenches in Python

cocotb安装

此处博主主要以windows+anaconda为主要安装环境。在windows平台安装anaconda后，使用anaconda提供的python环境即可简单安装cocotb。即输入以下指令

pip install cocotb

即可一键安装

icarus verilog(以下简称iverilog)

iverilog简介

iverilog是一个开源的verilog语言仿真器(注意：iverilog只支持verilog语言，不支持VHDL等其他RTL语言)。iverilog支持verilog-1995，verilog-2001和部分verilog-2005标准。相比于vivado，modelsim以及vcs等其他仿真器，iverilog具有轻量级的特性，可以更快速的进行环境搭建以及仿真。

以下为iverilog的安装包下载网页：

Icarus Verilog for Windows (bleyer.org)

windows环境下，只需要下载以下安装包，就可以进行快速安装

Gtkwave

该安装包已经包含了一个开源的波形查看器 GTKwave，在安装完成后，在cmd中输入

就可以开启gtkwave:

cocotb+icarus verilog进行联合仿真

尝试执行cocotb官方例程adder

当cocotb和icarus verilog都成功安装后，我们可以在cocotb的github仓库中，下载它的例程，用于初步的尝试cocotb：

cocotb官方仓库提供了以下7个例程：

我们以adder为例：

adder下有三个文件夹，其中

hdl文件夹存放了要测试的verilog代码

model文件夹存放了用python实现的加法器对比模型

tests文件夹存放了cocotb搭建的仿真环境

我们通过anaconda promp，启动安装有cocotb的python解释器，然后进入tests文件夹

执行以下指令

python test_adder.py

然后会得到以下结果：

说明当前用例执行完成。

用例测试完成后，查看波形：

在执行该例程后，我们会看到新增了一个文件夹sim_build：

进入sim_build，会看到

其中dump.vcd即是我们需要查看的波形。

使用gtkwave打开dump.vcd文件，即可查看波形

在安装以及仿真过程中产生的问题：

1.cocotb例程报错

cocotb 安装目前默认为1.8.1的稳定版本

在cocotb github官方仓库下载例程时，要注意将分支

切换为

例程才能被正常执行

2. cocotb正确安装，并且例程下载正确时，仿真开始后卡死，但是没有任何提示

这是由于当前的windows账户不是超级管理员账户。在windows10及以后的windows版本中，默认超级管理员账户是关闭的，所以需要手动设置当前账户为超级管理员账户，或者每次启动anaconda prompt时，选择

才能正常执行cocotb的仿真。

cocotb教程(一)
youzjuer的博客
11-10 2410
cocotb教程
Verilog 系列之 在 Ubuntu 上安装 Icarus Verilog 和 GTKWave 进行 Verilog 仿真
iCloudEnd的博客
07-30 432
硬件描述语言 (HDL) 用于定义电子和数字系统的操作。Verilog 是一个显著的例子。在业界，其他常用的 HDL 包括 VHDL 和 SystemVerilog，它们既可用于设计，也可用于验证。此外，还有一些不太为人所知但仍然有效的 HDL，如 Chisel（基于 Scala 构建）、Hardcaml（基于 OCaml 构建）和 cocotb，它们通常用于在 Python 中为 VHDL、SystemVerilog 和 Verilog 创建测试平台。
用Python给Verilog设计自仿（三）：Cocotb高频语法，从此告别SV手写
CNL_HHR的博客
03-26 900
​ 对于许多FPGA/IC工程师而言，设计实现游刃有余，验证仿真却常成短板——传统验证方法面临两难困局：学习UVM需投入大量时间成本，而纯Verilog自仿又会陷入重复造轮子的低效循环。以通信协议仿真为例，仅报文解析就需要重写整套解析逻辑，相当于用Verilog再实现一次协议栈，耗时费力。
cocotb扩展开发指南：构建可复用的硬件验证组件
最新发布
gitblog_00888的博客
06-26 281
cocotb扩展开发指南：构建可复用的硬件验证组件 概述 cocotb作为一个强大的硬件验证框架，允许工程师使用Python编写测试平台来验证硬件设计。但在实际项目中，我们经常需要更高级别的功能抽象，比如标准总线接口的驱动和监控。cocotb扩展机制正是为了解决这一问题而设计，它让开发者能够创建可复用的验证组件，并在不同项目中共享使用。 为什么需要cocotb扩展 在硬件验证领域，许多功能是通用的...
cocotb学习入门（一）
weixin_41685928的博客
07-23 1652
cocotb（Coroutine-based Co-simulation Testbench）是一种基于协程的联合仿真测试平台，主要用于硬件设计验证。与传统的硬件验证方法相比，cocotb 有许多显著的优势，特别是在现代硬件设计流程中。使用 Python 编写测试易于编写和维护：Python 具有简洁和易读的语法，这使得编写和维护测试变得更加容易。丰富的库和工具：Python 有丰富的库和工具，可以用于文件操作、数据处理、网络通信等，这些在编写复杂的测试时非常有用。协程和并发支持。
cocotb进行verilog的仿真
weixin_44357071的博客
08-12 1562
在cocotb的官网介绍中说明了，python（cocotb）给到DUT的输入端输入，然后给到监控输出端的输出。dut也就是“Device Under Test。三​​​​、这段是什么意思。
cocotb仿真模型
02-23
phthon用于对verilog进行仿真时候使用，建立仿真模型相关的机制
cocotb：cocotb，一个基于协程的协同仿真库，用于用Python编写VHDL和Verilog测试平台
02-10
cocotb是基于协程的协同仿真库，用于用Python编写VHDL和Verilog测试平台。 阅读 参与其中： （需要GitHub帐户） 安装 当前的cocotb稳定版本要求： Python 3.5+ C ++ 11编译器 HDL模拟器（例如 ， ， 或） 安装这些依赖项后，可以使用pip安装最新的稳定版本的cocotb。 pip install cocotb 有关安装的更多详细信息，包括前提条件，请参阅。 有关如何安装cocotb的开发版本的详细信息，请参阅。 !!! 总线和测试平台组件！！！ 可重用的总线接口和测试平台组件最近已移至软件包。 您可以通过添加bus Extra安装来轻松地与cocotb同时安装它们： pip install cocotb[bus] 。 用法 作为对cocotb的第一个简单介绍，下面的示例“测试”触发器。 首先，我们需要可以测试的硬件设
用Python给Verilog设计自仿（一）：Cocotb环境初探
CNL_HHR的博客
03-05 1274
cocotb 的当前稳定版本需要：Verilog 或 VHDL 仿真器，取决于您的 RTL 源代码支持以下系统Cocotb建议Linux经验较少的用户使用下面列出的经过支持和测试的发行版，以确保cocotb的顺畅体验。当然其他版本Linux也不是不行。请根据自己的系统安装对应的前置环境#macOs本文详细拆解了 Cocotb验证框架的环境搭建与仿真流程，涵盖Python环境配置、仿真器联动与基础操作，助你快速迈出硬件验证自动化的第一步。
Python 使用 仿真框架cocotb 实现FPGA板卡仿真验证
captain
02-28 1317
要使用 Python 结合仿真框架 Cocotb（Co-simulation COrner TestBench）实现 FPGA 板卡的仿真验证，您可以利用 Cocotb 提供的功能来编写测试台和仿真环境，与 Verilog/VHDL 设计进行交互并进行仿真验证。2. **编写 Cocotb 测试脚本**：使用 Python 结合 Cocotb 编写测试脚本，与 Verilog/VHDL 设计进行交互，并定义测试场景和预期结果。通过上述步骤，您可以使用 Cocotb 框架实现 FPGA 设计的仿真验证。
cocotb, 协同仿真试验台.zip
09-18
cocotb, 协同仿真试验台 cocotb 是一种基于协同工作的协同编程库，用于在 python 中编写VHDL和Verilog测试平台。 浏览介绍性演示文稿：http://potential.ventures阅读文档参与：提升一个 Bug/r
icarus-verilog仿真工具
09-19
开源工具，支持verilog的编译、仿真和查看波形。工具小巧，运行速到很快。
usb-test-suite-build:基于Cocotb（Python）的用于FPGA IP的USB 1.1测试套件，带有用于各种开源USB内核的测试平台
04-12
USB测试套件 版权所有（c）2019-2021 这是针对FPGA IP的基于的USB 1.1测试套件（将扩展为涵盖该标准的更高版本），并带有用于各种开源USB内核的测试平台。 Cocotb支持使用Python测试IP，从而实现了非常强大且对开发人员友好的工作流程。 该存储库是顶层存储库，项目使用的库以及特定的测试平台和核心作为子模块。 此项目位于。 设置 建议您使用virtualenv或类似工具。 这将通过setup.sh脚本来解决。 先决条件 python3 点子 依维罗格 脚步 # Install dependencies sudo apt install python3 python3-pip iverilog # Clone the repository. git clone https://github.com/antmicro/usb-test-suite-buil
cocotb-test:cocotb的单元测试
05-04
Cocotb检验 cocotb-test提供了标准的Python单元测试功能 允许Python单元测试的外观 消除对Makefile的需求（包括Makefile兼容模式） 轻松定制仿真流程 允许使用或进行并行运行 用法： 安装 。 安装模拟器（适用于带有conda的Icarus Verilog）： conda install -c conda-forge iverilog 通过安装软件包： pip install cocotb-test 或开发版本 pip install -v https://github.com/themperek/cocotb-test/archive/master.zip 或者 git clone https://github.com/themperek/cocotb-test.git pip install -v -e cocotb-test
rtl仿真器-iverilog icarus安装和测试
喝水的面包
05-15 1033
Icarus Verilog是一个轻量、免费、开源的Verilog编译器，基于C++实现，开发者是 Stephen Williams ，遵循 GNU GPL license 许可证，安装文件中已经包含 GTKWave支持Verilog/VHDL文件的编译和仿真，命令行操作方式，类似gcc编译器，通过testbench文件可以生成对应的仿真波形数据文件，通过自带的GTKWave可以查看仿真波形图，支持将Verilog转换为VHDL文件。
开源的 VCS（仿真）和 Verdi（调试）平替工具？
Never Give Up
02-23 1396
VCS 运行仿真，Verdi 用于调试信号 🎯。既能保持轻量级，又能支持大规模设计！，用于验证 RTL 代码是否正确。，两者配合使用效果最佳。
使用VS Code进行Verilog HDL的编译和仿真
EinsamMark的博客
05-22 6206
使用此插件仿真首先得创建一个工程，然后将所需代码添加到SOURCES里，将仿真的testbench设置为toplevel，即可在下方的RUNS里看到tb，点击Run就会调用Modelsim仿真。对于插件设置，点击ACTIONS里的Open Configuration Menu - Tools - General，第一个选项选择你需要的第三方软件，这里是Modelsim。首先安装Python 3，这个我就不赘述了，没安装的可以网上搜搜，现在官网好像也有一键安装的版本了。这个插件功能很多，简单介绍一下。
Icarus Verilog和GTKwave使用简析
热门推荐
husipeng86的专栏
03-05 1万+
本简要介绍Icarus Verilog和GTKwave的使用，使用iverilog（Icarus Verilog）编译仿真verilog而使用GTKWave查看仿真数据波形下载安装 基本使用 iverilog使用 GTKWave使用 iverilog常用选项 使用库 注意
Cocotb-1
helloasimo的博客
01-25 1181
资料： 使用Python框架” cocotb”测试Verilog。 | 码农家园 cocotb初探_腾讯新闻 CoCoTb参考（二） - 知乎
Cocotb
04-28
<think>好的，我需要回答用户关于Cocotb的使用指南和官方文档的问题。首先，用户可能希望了解Cocotb的基本概念和安装步骤，以及如何编写测试脚本。根据提供的引用内容，特别是引用[1]、[2]和[5]，我可以提取相关的安装命令和测试脚本示例。 接下来，用户可能需要知道如何配置Cocotb项目，比如Makefile的设置，这部分引用[2]提到了测试脚本的结构，引用[5]提到了安装依赖和仿真环境配置。需要将这些信息整合成清晰的步骤。 然后，关于功能覆盖率和随机测试，引用[1]和[2]中的cocotb-coverage扩展库可以介绍，给出代码示例说明CoverPoint的使用。此外，引用[3]提到的cocotbext-axi扩展库也可以作为示例，展示Cocotb的扩展性。 用户可能还会对官方资源感兴趣，需要提供官方文档链接和社区资源，如GitHub仓库和邮件列表。同时，引用[4]和[5]中的仿真工具和项目示例可以补充学习资源部分。 最后，生成相关问题时要围绕Cocotb的安装、测试编写、覆盖率、扩展库和调试技巧展开，确保问题与用户查询的主题紧密相关。确保所有步骤符合系统级指令，正确使用LaTeX格式，并且引用正确标注。</think>### Cocotb 使用指南 #### 1. **Cocotb 简介** Cocotb（Coroutine-based Cosimulation Testbench）是一个基于 Python 的硬件验证框架，支持对 Verilog/VHDL 设计进行功能验证。其核心思想是通过 Python 协程与仿真器交互，简化测试流程[^1]。 #### 2. **安装与环境配置** - **基础安装**： ```bash pip install cocotb ``` 若需扩展功能（如覆盖率分析），可安装 `cocotb-coverage`： ```bash pip install cocotb-coverage ``` - **仿真器支持**：需提前安装 ModelSim、Vivado 或 Icarus Verilog 等工具[^5]。 #### 3. **编写测试脚本** 测试脚本通常以 `test_*.py` 命名，结构如下： ```python import cocotb from cocotb.triggers import Timer @cocotb.test() async def basic_test(dut): """基础测试示例""" dut.input.value = 0 await Timer(1, units="ns") assert dut.output.value == 1, "逻辑输出异常" ``` - **关键组件**： - `@cotb.test()` 装饰器标记测试用例。 - `dut` 表示被测设计（Device Under Test）的接口。 - 使用 `Trigger`（如 `Timer`）控制时序。 #### 4. **覆盖率与随机测试** 通过 `cocotb-coverage` 实现功能覆盖率收集： ```python from cocotb_coverage.coverage import CoverPoint @CoverPoint("input_comb", xf=lambda x: x, bins=[0, 1]) def cover_input(dut): return dut.input.value ``` 覆盖率数据可通过 `coverage_db` 导出分析[^2]。 #### 5. **项目配置** - **Makefile 示例**： ```makefile SIM ?= icarus TOPLEVEL_LANG ?= verilog VERILOG_SOURCES += $(PWD)/dut.v include $(shell cocotb-config --makefiles)/Makefile.sim ``` 运行测试：`make`。 #### 6. **扩展库应用** Cocotb 支持扩展库（如 `cocotbext-axi` 用于 AXI 协议验证）： ```python from cocotbext.axi import AxiStreamBus, AxiStreamSource source = AxiStreamSource(AxiStreamBus(dut, "s_axis"), dut.clk, dut.rst) await source.send(data_packet) ``` 此类扩展简化了复杂接口的测试[^3]。 #### 7. **官方资源** - **文档**：[Cocotb 官方文档](https://docs.cocotb.org/) - **GitHub 仓库**：[cocotb/cocotb](https://github.com/cocotb/cocotb) - **社区支持**：邮件列表（cocotb@lists.librecores.org）和 GitHub Issues。 --- ###
评论 5
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值