请问如何在modesim里面进行基于OVL断言验证啊

下std_ovl
在代码里`include vlib文件
`include "assert_fifo_index.vlib"
...
编译的时候+incdir+vlib文件目录

ddddd

等高手回答啊