请问：Modelsim在batch-mode下如何统计Coverage（急）?

echo_tt

请问在Unix下用batch-mode执行modelsim仿真，如何统计Coverage？
我在batch-mode下做出的Coverage都是0，具体如下：
1.执行命令：
      vsim -c -do run.do
2.run.do的内容：
      vlib work
      vlog -cover bcsxf *.v
      vsim -c -voptargs="+acc" -coverage work.top
      add wave *
      coverage save -code bcsxf cover.ucdb
      run 1ms
      quit
3.执行完毕后，用vsim -viewcov cover.ucdn看结果，但是全为0

同样的source，用gui-mode就可以看到正确的Coverage结果。
哪位大侠，直到在Unix如何正确的作Coverage？谢谢！

echo_tt

coverage那行追加-onexit即可

jeffej

high level skill