如何使用赛灵思基于IP解决方案的RTL设计进行Cocotb仿真？可以使用Icarus验证Xilinx IP吗？

Question

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

非常感谢您的帮助。

Answer 1

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