如何使用 Xilinx 基于 IP 解决方案的 RTL 设计进行使用 Cocotb 的仿真？能否使用 Icarus 验证 Xilinx IP？

【问题标题】：How to use Xilinx's IP solutions based RTL design for simulation using Cocotb? Can Xilinx IP be verified using Icarus?如何使用 Xilinx 基于 IP 解决方案的 RTL 设计进行使用 Cocotb 的仿真？能否使用 Icarus 验证 Xilinx IP？
【发布时间】：2019-07-22 21:30:46
【问题描述】：

我有一个具有 Xilinx FIFO IP 的设计。我正在尝试使用基于 COCOTB 的测试平台来验证设计。如何使用 COCOTB 包含基于 Xilinx 的 IP 进行仿真？我使用的模拟工具是 Icarus。

非常感谢任何帮助。

【问题讨论】：

标签： vivado cocotb

【解决方案1】：

您是否已经设置了 Icarus，这样您就可以在没有 cocotb 的情况下编译您的设计？如果是这样，请查看 cocotb 的 examples/*/tests/ 目录下的 Makefile 之一，复制其中一个并填写变量以使其适合您的设计（请参阅 https://cocotb.readthedocs.io/en/latest/building.html#make-variables 以了解它们的含义）。那么，make SIM=icarus 应该已经做了一些有用的事情了。

【讨论】：