-R 编译以后立即自动执行,原来的runtime参数也应该带上(即不必再用simv)来执行了。
-PP 支持vcd+格式
+vpdfile+DIR_PATH/xxx.vip 指明生成的vpd文件
-assert dve 把assertion放入vpd文件中,并支持在dve中的trace
-assert report=DIR_PATH/xxx.report 指明assertion的report文件
-R 编译以后立即自动执行,原来的runtime参数也应该带上(即不必再用simv)来执行了。
-PP 支持vcd+格式
+vpdfile+DIR_PATH/xxx.vip 指明生成的vpd文件
-assert dve 把assertion放入vpd文件中,并支持在dve中的trace
-assert report=DIR_PATH/xxx.report 指明assertion的report文件