我用凿子写了一个简单的 PeekPokeTester 测试台，它使用 verilator 后端编译并成功运行。
但现在我想将一些标志传递给验证器后端。在驱动程序选项中有一个“--more-vcs-flags”选项，但verilator没有类似的东西。有什么方法可以更改验证器标志或 CFLAGS 吗？更具体地说，我想在凿子中将 xilinx 原语模拟为黑盒，我必须在 verilator 编译命令中添加类似“-y $VIVADO_INSTALL_DIR/data/verilog/src/unisims”的内容，
谢谢