verilator+cocotb

Verilator是一款开源的Verilog验证工具，它可以将Verilog代码转换为C++代码，然后编译成可执行文件。而cocotb是一款开源的Python测试框架，它可以让用户在Python环境下编写测试用例，并通过Verilator生成的C++代码来驱动仿真器。